1. Abramsky, S., Gay, S., Nagarajan, R.: Interaction Categories and the Foundations of Typed Concurrent Programming. In: Broy, M. (ed.) Proceedings of the 1994 Marktoberdorf Summer School on Deductive Program Design, pp. 35–113. Springer, Heidelberg (1996)
2. Aczel, P.: Non-Well-Founded Sets. CSLI Publication, Stanford, CA (1988)
3. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, Englewood Cliffs (1997)
4. Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)
5. Kawahara, Y.: Notes on the universality of relational functors, Memoirs of the Faculty of Science. Kyushu University, vol. 27(3), pp. 275–289 (1973)