Programming from Specifications presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.

The second edition retains the simple approach of the original: the integration of specification, development and coding, and the use of ordinary (classical) logic. Additions include more material on data refinement, a complete chapter on recursively defined types, and two further extended case studies.

About the first edition

In the growing list of programming methodology texts, Programming from Specifications is currently the best.
Science of Computer Programming

Influential [or] even seminal... I regard it as one of the most significant and thoughtful formal methods works published in the last ten years.
Computing

Overall, it is difficult to exaggerate the importance of this book, which breaks quite new ground in the way formal manipulation of specifications is presented...
THES