A DEFINITION OPTIMIZATION TECHNIQUE USED IN A CODE TRANSLATION ALGORITHM. - Dejean, David M.; Zobrist, George W.; Sibley, Edgar H. (Communications of the ACM, 1989)