1. A. I. Mal'tsev, “Constructive algebras,” Usp. Matem. Nauk,16, No. 3, 3–60 (1961).
2. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka (1965).
3. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
4. F. Gass, “A note onП ordinals,” Notre Dame Journal of Formal Logic,13, No. 1 (1972).
5. L. Feiner, “Hierarchies of Boolean algebras,” J. of Symbolic Logic,35, No. 3 (1970).