"Ontological interpretation of object-oriented programming abstractions."

Arvind W. Kiwelekar, Rushikesh K. Joshi (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics