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