1. B. Banaschewski, Injectivity and essential extensions in equational classes of algebras, Queen's Paper in Pure and Applied Mathematics, Vol. 25, 1970, pp. 131–147.
2. Boolean algebras in a localic topos;Banaschewski;Math. Proc. Camb. Phil. Soc.,1986
3. Booleanization;Banaschewski;Cahiers Top. Geom. Diff. Categoriques,1996
4. B. Banaschewski, J.C.C. Vermeulen, On the Booleanization of a finite distributive lattice, Research Reports, Department of Mathematics and Applied Mathematics, University of Cape Town, January 2000.
5. Algebra in a topos of sheaves;Mehdi Ebrahimi;J. Pure Appl. Algebra,1982