1. Michael Bidoit and Rolf Hennicker. Observer complete definitions are behaviourally coherent. In Kokichi Futatsugi, Joseph Goguen, and José Meseguer, editors, OBJ/CafeOBJ/Maude at Formal Methods '99, pages 83–94. Theta, 1999. Proceedings of a workshop held in Toulouse, France, 20th and 22nd September 1999.
2. Corina Cîrstea. A coequational approach to specifying behaviours. In Bart Jacobs and Jan Rutten, editors, Proceedings of the Second Workshop on Coalgebraic Methods in Computer Science (CMCS'99), Amsterdam, The Netherlands, March 1999, volume 19 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1999.
3. A complete calculus for equational deduction in coalgebraic specification;Corradini;Technical Report SEN-R9723, ISSN 1386-396X, CWI,1997
4. Behavioral coherence in object-oriented algebraic specification;Diaconescu;Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology,1998
5. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification;Diaconescu,1998