Feitosa, S. da S., Ribeiro, R. G. and Du Bois, A. R. (2018) “Formal Semantics for Java-like Languages and Research Opportunities”, Revista de Informática Teórica e Aplicada, 25(3), pp. 62–74. doi: 10.22456/2175-2745.80912.