:SCHAEFER, Marvin. A Mathematical theory of global program optimization. Englewood Cliffs : Prentice Hall, 1973. 198 s. [Copy count : 1, currently available 1, at library only 0]