A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras - Davey, B; Priestley, H (Topology and its Applications, 2011)