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