1. Locally Presentable and Accessible Categories;Adámek,1994
2. On profinite universal algebras;Banaschewski,1972
3. Toposes, Triples and Theories;Barr,1985
4. An effective representation for finitely generated free interior algebras;Bellissima;Algebra Univers.,1985
5. Finitely generated free Heyting algebras;Bellissima;J. Symb. Log.,1986