Hartmanis, Juris (1955) Some embedding theorems for lattices. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/40KS-0T27. https://resolver.caltech.edu/CaltechETD:etd-12032003-102713