Spezifikationen höherer Ordnung. - Thomas Grünler (1990)

Semantics of PAnndA-S. - Michael Breu; Manfred Broy; Thomas Grünler; Friederike Nickl (PROSPECTRA Book, 1993)

Specification: Algebraic Specification. - Thomas Grünler (PROSPECTRA Book, 1993)