Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred On hierarchies of abstract data types. (English) Zbl 0506.68024 TUM, Inst. Inf. TUM-I8303, 54 p. (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68P05 Data structures Keywords:algebraic specifications of computation structures; hierarchical specification; universal-existential formulas × Cite Format Result Cite Review PDF