Algebraische Spezifikation abstrakter Datentypen -- Eine Einfuhrung in die Theorie (1989)

by H-D Ehrich, M Gogolla, U W Lipeck