Монография известного американского ученого написана как введение в науку программирования и отражает богатый опыт автора в научной и преподавательской работе. По своему замыслу она примыкает к известной книге Э. Дейкстры Дисциплина программирования. В первой части излагаются элементарные сведения из исчисления высказываний и предикатов. Во второй части на основе пред- и постусловий очень подробно описывается логическая семантика простого императивного языка программирования. Третья часть - сердцевина книги по выражению автора - содержит подробное изложение синтеза нескольких программ, сопровождаемого логическим рассуждением, которое подтверждает правильность каждого шага синтеза.