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