A mathematical theory of global program optimization - Schaefer, Marvin (Prentice-Hall Inc, 1973)