Garfield, Richard , Knuth, Donald E. , Wilf, Herbert S. , A bijection for ordered factorizations. J. Combin. Theory Ser. A 54(1990), 317-318.
Wilf, Herbert S., and Zeilberger, D., Towards computerized proofs of identities, Bull. Amer. Math. Soc. (New Series) 23(1990),77-84.