What could be a reference about binomial expansions for non-commutative elements?
Specifically, where can I find a closed formula for the expansion of $(A+B)^n$ where $[A,B]=C$ and $[C,A]=[C,B]=0$?
I've found some ideas about that and also a proof using PDE's in the following website: link. But I haven't found a such formula in a published scientific paper or book.

