FEITOSA, Samuel da Silva; RIBEIRO, Rodrigo Geraldo; DU BOIS, Andre Rauber. Formal Semantics for Java-like Languages and Research Opportunities. Revista de Informática Teórica e Aplicada, [S. l.], v. 25, n. 3, p. 62–74, 2018. DOI: 10.22456/2175-2745.80912. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/VOL25_NR3_62. Acesso em: 28 aug. 2025.