Symbolic non-commutative algebra

Consider 3 noncommutative elements. $ A, B, C $ and we have the relationship $ CB = BC $.

I want to compute things like: $ (A otimes BC) (B otimes B) = AB otimes alpha B ^ 2C $

Is there a package doing this?