@book{55786,
	author = {Schaefer, Marvin.},
	title = {A mathematical theory of global program optimization},
	publisher = {Prentice-Hall,},
	year = {1973},
	series = {Prentice-Hall series in automatic computation},
	address = {Englewood Cliffs, N. J. :}
}