"A formal approach to object-oriented software engineering."

Martin Wirsing, Alexander Knapp (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics