M. Gehrke and B. Jónsson, “Bounded distributive lattice expansions”, Math. Scand., vol. 94, no. 1, pp. 13–45, Mar. 2004.