Java is type safe—probably (1997)

by S Drossopoulou, S Eisenbach
Venue:In Proc. 11th European Conference on Object-Oriented Programming