Sike, S.; Varga, L. Synthesis of Concurrent Programs. Teach. Math. Comp. Sci. 2004, 2 (2), 301-317. https://doi.org/10.5485/TMCS.2004.0062.