1. J. W. Addison [1954] On some points of the theory of recursive functions, Ph.D. Thesis, University of Wisconsin, Madison.
2. S. I. Adjan [1958] On algorithmic problems in effectively complete classes of groups (Russian), Doklady Akad. Nauk SSSR23, 13–16.
3. K. Baker [1977] Finite equational bases for finite algebras in congruence distributive varieties, Advances in Mathematics24, 207–243.
4. K. Baker, G. McNulty, and H. Werner [1987] The finitely based varieties of graph algebras, Acta Scient. Math. (Szeged)51, 3–15.
5. K. Baker, G. McNulty, and H. Werner [1989] Shift-automorphism methods for inherently nonfinitely based varieties of algebras, Czechoslovak Math. J. (to appear).