Algebraische Spezifikation abstrakter Datentypen (1989)

by H D Ehrich, M Gogolla, U W Lipeck