Publication:2767007
From MaRDI portal
zbMath0988.68110MaRDI QIDQ2767007
Publication date: 22 July 2002
algebraic specifications; regular algebras; observational equivalence; behavioural constructor implementation; proofs of behavioural properties
68Q65: Abstract data types; algebraic specification