The Category of Complete Algebraic Lattices. - Ladnor Geissinger; William Graves (J. Comb. Theory A, 1972)