Catégorification de structures définies par monade cartésienne D. Bourn; J. Penon — 2005 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Protomodularity, descent, and semidirect products. Bourn, D.; Janelidze, G. — 1998 Theory and Applications of Categories [electronic only]