Featherweight Java: A minimal core calculus for Java and GJ. In: (1999)

by A Igarashi, B Pierce, P Wadler
Venue:Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications.