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