Expressing combinatory reduction systems derivations in the rewriting calculus