Prof. Dr. M. Wirsing: Algebraische Spezifikation: Semantik, Implementierung und Transformation

Lecture