Ownership types for object encapsulation (2003)

by C Boyapati, B Liskov, L Shrira
Venue:In Principles of Programming Languages (POPL’03