Ownership types for object encapsulation (2003)

by C Boyapati, B Liskov, L Shrira
Venue:In POPL