von Oheimb. Java `ight is type-safe --- definitely (1998)

by Tobias Nipkow, David
Venue:In Proc. 25th ACM Symp. Principles of Programming Languages