1. Freyd, P.: Abelian categories: An introduction to the theory of functors. Harper’s Series in Modern Mathematics. New York 1964.
2. Give’on, Y.: Toward a homological algebra of automata I: The representation and completeness theorem for categories of abstract automata. Technical Report, Department of Communication Sciences, ORA. The University of Michigan 1964.
3. — Toward a homological algebra of automata. Technical Report, Department of Communication Sciences, ORA, The University of Michigan 1965.
4. Hartmanis, J., and R. E. Stearns: Pair algebra and automata theory. Inform. Control 7, 485–507 (1964).
5. Kan, D.M.: Adjoint functors. Trans. Amer. Math. Soc. 87, 295–329 (1958).