1. Antonio Alencar. OOZE: An Object Oriented Specification Language. PhD thesis, Programming Research Group, Oxford University Computing Lab, to appear 1994.
2. Antonio Alencar and Joseph Goguen. Specification in OOZE with examples. In Object Oriented Specification Case Studies, pages 158–183. Prentice Hall, 1993. Programming Research Group, Oxford University Computing Lab, Report PRG-TR-7-92, 1992.
3. Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice-Hall, 1990.
4. Garrett Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433–454, 1935.
5. Rod Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach. Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992. To appear in A Classical Mind: Essays in Honour of C.A.R. Hoare, Prentice Hall, 1993.