Algebraische Spezifikation. Eine Einführung - Klaeren, Herbert Alois (Springer, 1983)