Embedding of a distributive lattice into a boolean algebra : (proceedings knaw series a, _6_0(1957), nr 1, indagationes mathematicae, _1_9(1957), p 73-81)