M. Fettach, L. Elarroum, and A. Hamdoun, “Register Optimisation by Equivalence Analysis”, MJCS, vol. 15, no. 1, pp. 15–27, Jun. 2002.