This page in English
SucheA Formal Approach to Object-Oriented Software Engineering
Martin Wirsing, Alexander Knapp
In: José Meseguer (Hg.). Proc. 1st Int. Wsh. Rewriting Logic and Its Applications (WRLA'96). Electr. Notes Theo. Comp. Sci. 4. Elsevier, 1996. S. 321-359.