Johnston, John Beverley (1955) Universal lnfinite Partial Orders. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/WSQ4-ZA23. https://resolver.caltech.edu/CaltechETD:etd-01162004-140541