Universal central extensions of internal crossed modules via the non-abelian tensor product - 42Papers