1. Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice Hall, 1990.
2. Trevor Bench-Capon and Grant Malcolm. Relating ontologies. Draft available at http://www.csc.liv.ac.uk/~grant/ps/ , 1999.
3. Trevor Bench-Capon. The role of ontologies in the verification and validation of knowledge based systems. In R. Wagner, editor, Proceedings of the 9th International Workshop on Database and Expert Systems, pages 64–69. IEEE Press, Los Alamitos, 1998.
4. Jan A. Bergstra and John V. Tucker. Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science, 50:137–181, 1987.
5. Lect Notes Comput Sci;R. Burstall,1980