An object calculus with ownership and containment (2001)

by David Clarke
Venue:In Foundations of Object-Oriented Languages (FOOL