A type system for object initialization in the java bytecode language (1999)

by S Freund, J Mitchell
Venue:ACM Transactions on Programming Languages and Systems