Crawley, Peter (1961) A decomposition theory for lattices without chain conditions (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/3RKX-HF58