"A Type System for Object Initialization in the Java Bytecode Language."

Stephen N. Freund, John C. Mitchell (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics