1. K. Baker, G. McNulty and H. Werner, Shift-automorphism methods for inherently nonunitely based varieties of algebras, Czechoslovak Math. J. 39 (1989), 53–69.
2. S. Burris and H. Werner, Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248 (1979), 269–309.
3. R. Freese and R. McKenzie, Commutator Theory for Congruence Modular Varieties, London Mathematical Society Lecture Note Series, 125, Cambridge University Press, Cambridge-New York, 1987.
4. D. Hobby, Finding type sets is NP-hard. Internat. J. Algebra Comput. 1 (1991), 437–444.
5. D. Hobby and R. McKenzie, The Structure of Finite Algebras, Contemporary Mathematics, 76, American Mathematical Society, Providence,RI, 1988.