S. Sike and L. Varga, “Synthesis of concurrent programs”, Teach. Math. Comp. Sci., vol. 2, no. 2, pp. 301–317, Dec. 2004, doi: 10.5485/TMCS.2004.0062.