Feitosa, S. da S. et al. 2018. Formal Semantics for Java-like Languages and Research Opportunities. Revista de Informática Teórica e Aplicada. 25, 3 (Sep. 2018), 62–74. DOI:https://doi.org/10.22456/2175-2745.80912.