"Featherwieght Java: A Minimal Core Calculus for Java and GJ."

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics