Java`ight is type-safe — definitely (1998)

by T Nipkow, D v Oheimb
Venue:In Proc. 25th ACM Symp. Principles of Programming Languages