Algebraische Spezifikation

• Interface = abstrakter Datentyp
• besitzt algebraische Spezifikation = Signatur und Axiome (Formeln)
• Implementierung = konkreter Datentyp = eine Algebra = Modell einer Spezifikation

Literatur: z. B. Ehrich, Gogolla, Lipeck: Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989.