B. JÓnsson, “On the representation of lattices”, Math. Scand., vol. 1, pp. 193–206, Dec. 1953, doi: 10.7146/math.scand.a-10377.