Canonical term functors and parameterization-by-use for the specification of abstract data types - Beierle, Christoph 1954- (1983)
Keywords: Softwarespezifikation; Datenauswertung