Normal functors and strong protomodularity. Bourn, Dominique (2000) Theory and Applications of Categories [electronic only]
Note on a theorem of Putnam's. Barr, Michael (1997) Theory and Applications of Categories [electronic only]