The explicit form of the theorem due to Eilenberg and Mac Lane is in the paper you are referring to "On the groups $H(\Pi,n): I$". A stronger and more precise form is in
Also Tonks verifies the important fact that the tensor product is a strong deformation retract of the crossed complex of the product, as is well known for the chain complex case and used in Homological Perturbation Theory. You may find his references to the chain complex case helpful.

