Mathematical theory of global program optimization - Schaefer, Marvin (New Jersey Prentice Hall, 1973)