Feitosa, S. da S., R. G. Ribeiro, and A. R. Du Bois. “Formal Semantics for Java-Like Languages and Research Opportunities”. Revista De Informática Teórica E Aplicada, vol. 25, no. 3, Sept. 2018, pp. 62-74, doi:10.22456/2175-2745.80912.