Publication:4194409
From MaRDI portal
zbMath0407.68005MaRDI QIDQ4194409
Manfred Broy, Martin Wirsing, R. Gnatz
Publication date: 1979
68Q65: Abstract data types; algebraic specification
68P05: Data structures
68N01: General topics in the theory of software
Related Items