Recursive Boolean algebras, pp. 1097--1166 in Handbook of Boolean Algebras, Volume 3 (1989)

by J Remmel