Publication:4035654
From MaRDI portal
zbMath0764.68098MaRDI QIDQ4035654
Publication date: 18 May 1993
68Q65: Abstract data types; algebraic specification
zbMath0764.68098MaRDI QIDQ4035654
Publication date: 18 May 1993
68Q65: Abstract data types; algebraic specification