B. JÓnsson, “On the representation of lattices”, Math. Scand., vol. 1, pp. 193–206, Dec. 1953.