1. Relational algebras;Barr,1970
2. Introduction to bicategories;Bénabou,1967
3. A quasi-universal realization of automata;Betti;Rend. Istit. Mat. Univ. Trieste,1982
4. Coherent extensions and relational algebras;Bunge;Trans. Amer. Math. Soc.,1974
5. A. Carboni, S. Kasangian and R. Walters, An axiomatics for bicategories of modules, Preprint.