Schaefer, Marvin, 1943- A Mathematical theory of global program optimization / by Marvin Schaefer. - Englewood Cliffs, N. J. : Prentice-Hall, 1973. - xvii, 198 p. : ill. ; 24 cm. Bibliography : p. 190-194. ISBN: 013561662X Subjects--Topical Terms: Compiling (Electronic computers).Mathematical optimization.