1. Relational Algebras;Barr,1970
2. Model-Theoretic Logics,2016
3. On locally simply connected toposes and their fundamental groups;Barr;Cah. Topol. Géom. Différ. Catég.,1980
4. Applications of lattice algebra;Birkhoff;Math. Proc. Camb. Philos. Soc.,1934
5. On localization and stabilization of factorization systems;Carboni;Appl. Categ. Struct.,1997