1. Banaschewski, B., ‘On profinite universal algebras’, in General Topology and Its Relations to Modern Analysis and Algebra III, Proc. Third Prague Topological Symp., 1971, Academia, Prague 1972, pp. 51–62.
2. Banaschewski, B., ‘Remarks on dual adjointness’, Nordwestdeutsches Kategorienseminar (Tagung, Bremen, 1976), Math.-Arbeitspapiere, 7, Teil A: Math. Forschungspapiere, Universität Bremen, 1976, pp. 3–10.
3. Bezhanishvili G., Gehrke M., Mines R., Morandi P.J.: ‘Profinite completions and canonical extensions of Heyting algebras’. Order 23, 143–161 (2006)
4. Burris, S. N., and H.P. Sankappanavar, A Course in Universal Algebra, Springer- Verlag, 1981 (free download at http://www.math.uwaterloo.ca/~snburris/ ).
5. Clark, D. M., and B. A. Davey, Natural Dualities for the Working Algebraist, Cambridge University Press, 1998.