Vogt, Frank. "On the order completion of additive conjoint structures." Acta Mathematica Universitatis Comenianae 65 (1996): 195-214.