The Functions of Java Bytecode (1998)

by Mark P. Jones
Venue:In Workshop on the Formal Underpinnings of the Java Paradigm