Title: Algebraische Spezifikation abstrakter Datentypen
Subjects: Development, Algebraische Spezifikation, Algebraic logic, Universal Algebra, Abstrakter Datentyp, Computer software