SIKE, Sándor; VARGA, László. Synthesis of concurrent programs. Teaching Mathematics and Computer Science, [S. l.], v. 2, n. 2, p. 301–317, 2004. DOI: 10.5485/TMCS.2004.0062. Disponível em: https://ojs.lib.unideb.hu/tmcs/article/view/14727. Acesso em: 27 sep. 2024.