Virginity: a contribution to the specification of object-oriented software

Data abstraction and information hiding

ACM Transactions on Programming Languages and Systems (TOPLAS)

Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

Connecting effects and uniqueness with adoption

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs