Jan Vitek Boris Bokowski Confined types in Java. 507-532 2001 31 Softw., Pract. Exper. 6 db/journals/spe/spe31.html#VitekB01