1. E. Astesiano, M. Wirsing: Bisimulation in algebraic specifications. In: H. Ait-Kaci, M. Nivat (eds.): Resolution of Equations in Algebraic Structures, Vol. 1, Algebraic Techniques, London, Academic Press, 1–32, 1989.
2. G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST '91, Techn. Report of the University of Iowa, 139–161, 1991.
3. M. Bidoit, R. Hennicker: Proving behavioural theorems with standard first-order logic. Submitted for publication, 1994.
4. H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1, EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin, 1985.
5. R. Hennicker: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing 4 (3), 326–345, 1991.