1. Exact Categories;Barr,1971
2. Malcev, protomodular, homological and semi-abelian categories;Borceux,2004
3. Normalization Equivalence, Kernel Equivalence, and Affine Categories;Bourn,1991
4. Normal subobjects and abelian objects in protomodular categories;Bourn;J. Algebra,2000
5. A categorical genealogy for the congruence distributive property;Bourn;Theory Appl. Categories,2001