Programming with Specifications

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.