Algebraische Spezifikation abstrakter Datentypen

by Hans-Dieter Ehrich