Ownership types for object encapsulation. (2003)

by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
Venue:In POPL,