4385 Herbert Alois Klaeren: Algebraische Spezifikation. Springer 1983.