1. Anderson, A.R. and N.D. Belnap: Entailment: the logic of relevance and necessity, Princeton University Press, Princeton, N.J., 1975.
2. Bénabou, J.: Structures algébriques dans les catégories, Cahiers Topologie Géométrie Différentielle 10(1968), 1–126.
3. Birkhoff, G. and J.D. Lipson: Heterogeneous algebras, J. Combinatorial Theory 8(1970), 115–133.
4. Burroni, A.: Algèbres graphiques, 3ième colloque sur les catégories, Cahiers Topologie Géométrie Différentielle 23 (1981), 249–265.
5. Eilenberg, S. and C.C. Elgot: Recursiveness, Academic Press, New York 1970.