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.
Overall, it is difficult to exaggerate the importance of this book, which
breaks quite new ground in the way formal manipulation of specifications