Dilworth, Robert Palmer (1939) The Structure and Arithmetical Theory of Non-Commutative Residuated Lattices (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/3JPC-3K49
