Universal Central Extensions of Internal Crossed Modules via the Non-abelian Tensor Product. - Davide di Micco; Tim Van der Linden (Appl. Categorical Struct., 2020)