Go backward to Implementation on CafeOBJ
Go up to Top
References
- Ben Potter, Jane Sinclair, David Till,
An Introduction to Formal Specification and Z ,
Prentice Hall
- Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf,
Specification of Abstract Data Types ,
Wiley & Teubner, Chichester, UK, 1996
-
CafeObj User Manual
Hong Gu (Hong.Gu@risc.uni-linz.ac.at),
Christian Mittermaier (cm@ooenet.at),
Igor Rents (Igor.Rents@risc.uni-linz.ac.at)
February 10, 1999