Subalgebra lattices of unary algebras and an axiom of choice William A. Lampe — 1974 Colloquium Mathematicae