von Oheimb and Tobias Nipkow. Machine-checking the Java specification: Proving type-safety (1999)

by David
Venue:Formal Syntax and Semantics of Java, volume 1523 of LNCS