Монография известного американского ученого написана как введение в науку программирования и отражает богатый опыт автора в научной и преподавательской работе. По своему замыслу она примыкает к известной книге Э. Дейкстры «Дисциплина программирования» (М.: Мир, 1976). Автор знаком советским читателям по книге «Конструирование компиляторов для цифровых вычислительных машин» (М.: Мир, 1975).
Для программистов и разработчиков математического обеспечения ЭВМ.