Prof. Dr. M. Wirsing: Algebraische Spezifikation: Semantik, Implementierung und Transformation 03 December 1986 Lecture