Featherweight java - a minimal core calculus for java and gj (1999)

by A Igarashi, B Pierce, P Wadler
Venue:In ACM Transactions on Programming Languages and Systems