The subalgebra lattice of a Heyting algebra Luc Vrancken-Mawet; Georges Hansoul — 1987 Czechoslovak Mathematical Journal