Specifications in Program Development

This book is about formal specification of programs and components of programs. We are interested in using specifications to help in the production and maintenance of high quality software.