Gomez, Maria, Irene Mccaffrey, and Susan Winkler. 2018. “A Synthesis of the Producer-Consumer Problem Using NowPit”. Journal of Computer Science and Software Engineering 10 (3). https://jcsseng.com/index.php/jcsseng/article/view/176.