A Definition Optimization Technique Used in a Code Translation Algorithm. - David M. DeJean; George W. Zobrist (Commun. ACM, 1989)