Schaefer, Marvin Mathematical theory of global program optimization - New Jersey Prentice Hall 1973 Dewey Class. No.: 519.3 / SCH.M