Dynamic programming and industrial-strength instruction selection: code generation by tiring, but not exhaustive, search. - John S. Yates; Robert A. Schwartz (ACM SIGPLAN Notices, 1988)