Bartenschlager, G. (1995). Free bounded distributive lattices over finite ordered sets and their skeleton. Acta Math.~Univ.~Comenianae, LXIV, 1-23.