1. M.Barr and C.Well, Category Theory for Computing Science, Prentice-Hall 1990
2. H.Barringer, R.Kuiper and A.Pnueli, “A Compositional Temporal Approach to a CSP-like Language”, in E.Neuhold and G.Chroust (eds) Formal Models in Programming, North-Holland 1985, 207–227
3. J.F.Costa, A.Sernadas, C.Sernadas and H.-D.Ehrich, “Object Interaction”, in Proc. MFCS'92, LNCS 629, Springer-Verlag 1992, 200–208.
4. R.Crole, Categories for Types, Cambridge University Press 1993
5. F.M.Dionisio, Um Modela e Submodelos Categoriais de Processus Concurrentes, MSc. Thesis, Dept.Mathematics, Fac.Engineering, Technical University of Lisbon, 1991.