1. Arbib, M. A. and Manes, E. Arrows, Structures and Functors. Academic Press, 1975.
2. Aubin, R. Mechanizing Structural Induction. PhD thesis, University of Edinburgh, 1976.
3. Barwise, J. Axioms for Abstract Model Theory. Annals of Mathematical Logic 7:221–265, 1974.
4. Benabou, J. Structures Algebriques dans les Categories. Cahiers de Topologie et Geometrie Differentiel 10:1–126, 1968.
5. Birkhoff, G. and Lipson, J. Heterogeneous Algebras. Journal of Combinatorial Theory 8:115–133, 1970.