Atsushi Igarashi Benjamin C. Pierce Philip Wadler Featherwieght Java: A Minimal Core Calculus for Java and GJ. 132-146 1999 OOPSLA http://doi.acm.org/10.1145/320384.320395 db/conf/oopsla/oopsla99.html#IgarashiPW99