Publisher's Synopsis
The authors show the benefits of using algebraic specifications, present an algebraic specification language, explain underlying mathematical foundations and the consequences of the theory for the practitioner, and present case examples of reasonable complexity (as well as small examples). Suitable