S. da S. Feitosa, R. G. Ribeiro, and A. R. Du Bois, “Formal Semantics for Java-like Languages and Research Opportunities”, RITA, vol. 25, no. 3, pp. 62–74, Sep. 2018.