Sike, Sándor, and László Varga. 2004. “Synthesis of Concurrent Programs”. Teaching Mathematics and Computer Science 2 (2): 301-17. https://doi.org/10.5485/TMCS.2004.0062.