1. Rod Burstall and RĂzvan Diaconescu. Hiding and behaviour: an institutional approach. In A. W. Roscoe, editor, A Classical Mind: essays dedicated to C.A.R. Hoare. Prentice-Hall International, 1994.
2. Corina CÎrstea. Coalgebra semantics for hidden algebra: parameterized objects and inheritance. In Proc. 12th Workshop on Algebraic Development Techniques. Springer-Verlag Lecture Notes in Computer Science, to appear, 1998.
3. Corina CÎrstea, Grant Malcolm, and James Worrell. Hidden order sorted algebra: subtypes for objects. Draft, Oxford University Computing Laboratory, 1998.
4. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewriting systems. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Methods and Semantics, pages 243–320. North-Holland, 1990.
5. RĂzvan Diaconescu. The logic of Horn clauses is equational. Technical Report PRG-TR-3-93, Programming Research Group, University of Oxford, 1993. Written in 1990.