A type system for the Java bytecode language and verifier (2003)

by S N Freund, J C Mitchell
Venue:J. Automated Reasoning