Rodney G. Downey Every Recursive Boolean Algebra is Isomorphic to One with Incomplete Atoms. 193-206 1993 60 Ann. Pure Appl. Logic 3 db/journals/apal/apal60.html#Downey93