1. Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs (1990)
2. Bunge, M., Fiore, M.: Unique factorization lifting functors. Journal of Pure and Applied Algebra (2002)
3. Lecture Notes in Computer Science;G.L. Cattani,1997
4. Cîrstea, C.: A distributed semantics for FOOPS. Technical Report PRG-TR- 20-95, Programming Research Group, University of Oxford (1995)
5. Dubey, R.: On a general definition of safety and liveness. Master’s thesis, School of Electrical Engineering and Comp. Sci., Washington State Univ. (1991)