A term rewriting perspective of object oriented program specifications - Loría-Sáenz, Carlos (Interner Bericht / Fachbereich Informatik, 2001)