1. Lecture Notes in Computer Science;M. Bidoit,1994
2. Lecture Notes in Computer Science;M. Bidoit,1999
3. Diaconescu, R., Futatsugi, K.: Behavioural Coherence in Object-Oriented Algebraic Specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute of Seance and Teleology (1998)
4. Hennicker, R., Kurz, A.: (Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specification. In: Proc. Coalgebraic Methods in Computer Science 1999. Electronic Notes in Theoretical Computer Science, vol. 19. Elsevier, Amsterdam (1999) (on line)
5. Goguen, J., Malcolm, G.: A Hidden Agenda, Technical Report CS97-538, University of California, San Diego (1997)