Syntax, Semantik, Spezifikation - Grundlagen der Informatik R. Hartwig Kapitel 9 / 1 Gleichungsspezifikation abstrakter Datentypen Definition "Spezifikation"