A mathematical theory of global program optimization - Schaefer, Marvin (Prentice-Hall Series in Automatic Computation / Prentice-Hall, Inc.., 1973)