Sike, Sándor, and László Varga. “Synthesis of Concurrent Programs”. Teaching Mathematics and Computer Science 2, no. 2 (December 1, 2004): 301–317. Accessed September 27, 2024. https://ojs.lib.unideb.hu/tmcs/article/view/14727.