Capabilities for sharing: A generalisation of uniqueness and read-only (2001)

by J Boyland, J Noble, W Retert
Venue:of Lecture Notes in Computer Science