Sike, S. and Varga, L. 2004. Synthesis of concurrent programs. Teaching Mathematics and Computer Science. 2, 2 (Dec. 2004), 301–317. DOI:https://doi.org/10.5485/TMCS.2004.0062.