Schmidt Eligius Tamás: The ideal lattice of a distributive lattice with 0 is the congruence lattice of a lattice. In: Acta scientiarum mathematicarum, (43) 1-2. pp. 153-168. (1981)