Initial and Fixpoint Semantics of Algebraic Specifications. - Ulrich Grude; Peter Padawitz (ADT, 1983)

Algebraische Spezifikation und Korrektheit von Compilern. - Ulrich Grude (1985)

Grundkurs Algorithmen und Datenstrukturen - eine Einführung in die praktische Informatik mit Java. - Andreas Solymosi; Ulrich Grude (Vieweg, 2000)