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