(1)
Gomez, M.; Mccaffrey, I.; Winkler, S. A Synthesis of the Producer-Consumer Problem Using NowPit. jcsseng 2018, 10.