Fettach, M., L. Elarroum, and A. Hamdoun. “Register Optimisation by Equivalence Analysis”. Malaysian Journal of Computer Science, vol. 15, no. 1, June 2002, pp. 15-27, https://mojes.um.edu.my/index.php/MJCS/article/view/5875.