Congruences on lattices (with application to amalgamation) - Laing, Lyneve (Department of Mathematics and Applied Mathematics, 2016)
Bibliography: pages 124-128.