Confined types in Java. Software practice and experience (2001)

by J Vitek, B Bokowski
Venue:In Proceedings of the International Summer School Marktoberdorf