Оптимизирующие преобразования программ - Касьянов В.Н (Наука, 1988)