A mathematical theory of global program optimization - Schaefer, Marvin (rz1, 1973)