Sophia Drossopoulou, Susan Eisenbach. Java is Type Safe - Probably. In Mehmet Aksit, Satoshi Matsuoka, editors, ECOOP 97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings. Volume 1241 of Lecture Notes in Computer Science, pages 389-418, Springer, 1997. [doi]
Abstract is missing.