Prev Up
Go backward to Implementation on CafeOBJ
Go up to Top


  1. Ben Potter, Jane Sinclair, David Till, An Introduction to Formal Specification and Z , Prentice Hall
  2. Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf, Specification of Abstract Data Types , Wiley & Teubner, Chichester, UK, 1996
  3. CafeObj User Manual

Hong Gu (,
Christian Mittermaier (,
Igor Rents (
February 10, 1999

Prev Up