1. E. Astesiano, G. Reggio, M. Wirsing: Relational specifications and observational semantics. In: I. Gruska, B. Rovan, J. Wiedemann (eds.): Proc. MFCS ’86, Mathematical Foundations of Computer Science, Bratislava, Springer Lecture Notes in Computer Science, 233, 209–217, 1986.
2. B. Bauer, R. Hennicker: Proving the correctness of algebraic implementations by the ISAR system. In: A. Miola (ed.): Proc. DISCO ’93, International Symposium on Design and Implementation of Symbolic Computation Systems, Springer Lecture Notes in Computer Science, 722–16, 1993.
3. G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Laboratoire d’Informatique de rEcole Normale Supérieure, Paris, Technical Report, LIENS-91-8,1991.
4. M. Bidoit, R. Hennicker: Proving Behavioural Theorems with Standard First-Order Logic. Submitted for publication, 1994.
5. M. Broy, M. Wirsing: A modular framework for algebraic specification and implementation. In: J. Diaz, F. Orejas (eds.): Proc. TAPSOFT ’89, Springer Lecture Notes in Computer Science, 351, 42–73, 1989.