Mathematical theory of global program optimization - Schaefer Marvin (Englewood Prentice Hall, 1973)
Keywords: Operational Research irt computer science