JÓnsson B. On the representation of lattices. Math. Scand. 1953;1:193-206. doi:10.7146/math.scand.a-10377