SFJ: An Implementation of Semantic Featherweight Java. - Artem Usov; Ornela Dardha (COORDINATION, 2020)