Sike S, Varga L. Synthesis of concurrent programs. Teach. Math. Comp. Sci. [Internet]. 2004 Dec. 1 [cited 2024 Sep. 27];2(2):301-17. Available from: https://ojs.lib.unideb.hu/tmcs/article/view/14727