1. S. Abramsky. A Cook's tour of the finitary non-well-founded sets. In S. A. et al., editor,We Will Show Them: Essays in honour of Dov Gabbay, pages 1-18. College Publications, 2005.
2. J. Adámek and V. Trnková.Automata and algebras in categories, volume 37 ofMathematics and its Applications (East European Series). Kluwer, Dordrecht, 1990.
3. Gödel algebras free over finite distributive lattices
4. Finitely generated free Heyting algebras
5. Profinite Heyting Algebras