Feitosa, Samuel da Silva, Rodrigo Geraldo Ribeiro, and Andre Rauber Du Bois. 2018. “Formal Semantics for Java-Like Languages and Research Opportunities”. Revista De Informática Teórica E Aplicada 25 (3):62-74. https://doi.org/10.22456/2175-2745.80912.