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