"A Logic for Encapsulation in Object Oriented Languages."

Michele Bugliesi, Hasan M. Jamil (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics