Publication:4203007
From MaRDI portal
zbMath0774.68083MaRDI QIDQ4203007
Publication date: 3 November 1994
68Q65: Abstract data types; algebraic specification
zbMath0774.68083MaRDI QIDQ4203007
Publication date: 3 November 1994
68Q65: Abstract data types; algebraic specification