Methoden der imperativen Programmierung mit Beispielen in MODULA-2 und EIFFEL - Stork, Hans-Georg (Teubner, 1993)