Krebs, Michel; Schmid, Jürg (2008). Ordering the Order of a Distributive Lattice by Itself. Journal of logic and algebraic programming, 76(2), pp. 198-208. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.003
