Protomodularity, descent, and semidirect products. Bourn, D., Janelidze, G. (1998) Theory and Applications of Categories [electronic only]