Mathematical theory of global program optimization - Schaefer, Marvin (Prentice Hall, 1973)