Java type soundness revisited (2000)

by Sophia Drossopoulou, Tanya Valkevych, Susan Eisenbach