GOMEZ, M.; MCCAFFREY, I.; WINKLER, S. A Synthesis of the Producer-Consumer Problem Using NowPit. Journal of Computer Science and Software Engineering, v. 10, n. 3, 15 out. 2018.