1. Adamek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. John Wiley and Sons (1990)
2. Asperti, A., Longo, G.: Categories, Types and Structures. M.I.T. Press (1991)
3. Bergman, G.M.: An Invitation to General Algebra and Universal Constructions. Henry Helson, 15 the Crescent, Berkeley CA, US (1998)
4. Bowen, J.P., Hinchey, M.G.: Formal Methods. In: Tucker Jr., A.B. (ed.) Computer Science Handbook, ch. 106, 2nd edn. Section XI, Software Engineering, pp. 106-1–106-25. Chapman & Hall / CRC, ACM, USA (2004)
5. Butera, W.: Text Display and Graphics Control on a Paintable Computer. In: Serugendo, G.D.M., Flatin, J.P.M., Jelasity, M. (eds.) Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), Boston, Massachusetts, USA, July 9-11, pp. 45–54. IEEE Computer Society Press (2007)