Publication:4035653
From MaRDI portal
zbMath0788.68098MaRDI QIDQ4035653
Jacek Leszczylowski, Martin Wirsing
Publication date: 18 May 1993
68Q65: Abstract data types; algebraic specification
68P05: Data structures
68N01: General topics in the theory of software
Related Items