Fettach, M.; Elarroum, L.; Hamdoun, A. Register Optimisation by Equivalence Analysis. MJCS 2002, 15, 15-27.