Ordering the order of a distributive lattice by itself. - Michel Krebs; Jürg Schmid (J. Log. Algebraic Methods Program., 2008)