Text this: <A> Mathematical theory of global program optimization