"Ownership, encapsulation and the disjointness of type and effect."

David G. Clarke, Sophia Drossopoulou (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics