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