B.: Confined types (2001)

by J Vitek, Bokowski
Venue:in Java. Software – Practice and Experience 31