A Catalogue of Optimization Transformations (1972)

by F E Allen, J Cocke