Java is type safe—probably (1997)

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