М.: Мир, 1984. — 416 с.
Монография известного американского ученого написана, как введение в науку программирования. Для программистов и разработчиков математического обеспечение ЭВМ.
Содержание:
Зачем нужно использовать логику и доказывать правильность программ?
Семантика простого языка программирования.
Построение программ.