1. Barr M, Wells C (1995) Category theory for computing science. Prentice-Hall, Upper Saddle River. http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
2. Carmody S, Leeming M, Walters R (1995) The Todd–Coxeter procedure and left kan extensions. J Symbolic Comput 19:459–488
3. Freyd P, Scedrov A (1990) Categories, allegories. North-Holland, Amsterdam
4. Gray JW (1989) The category of sketches as a model for algebraic semantics. In: Categories in computer science and logic, contemporary mathematics, vol 92. AMS, pp 109–135
5. Hebeler J, Fischer M, Blace R, Perez-Lopez A (2009) Semantic web programming. Wiley Publishing, Inc., New York