The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches

This book aims to introduce the reader to the field of Formal Specification. It should enable the reader to understand the role and nature of formal specifications of computer programs, and to develop skills at specifications.