Feitosa, S. da S.; Ribeiro, R. G.; Du Bois, A. R. Formal Semantics for Java-Like Languages and Research Opportunities. RITA 2018, 25, 62-74.