Daniel J. Lehmann On the Algebra of Order. 1-23 1980 21 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss21.html#Lehmann80