DERIVATIONS OF TENSOR PRODUCTS OF C-STAR-ALGEBRAS - Batty, C (1978)