Java is type safe — Probably
1997 ◽
pp. 389-418
◽