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