Simple Ownership Types for Object Containment (2001)

by David G. Clarke, James Noble, John M. Potter