Varieties of monadic Heyting algebras. I
scientific article; zbMATH DE number 1511999