Оптимизирующие преобразования программ —М.: Наука. Гл. ред. физ.-мат. лит., 1988. — 336 с.