Daniel J. Lehmann: On the Algebra of Order. J. Comput. Syst. Sci. 21(1): 1-23 (1980)