[1]
Gomez, M., Mccaffrey, I. and Winkler, S. 2018. A Synthesis of the Producer-Consumer Problem Using NowPit. Journal of Computer Science and Software Engineering. 10, 3 (Oct. 2018).