Algebraische Spezifikation abstrakter Datentypen | lit.salon