Algebraic System Specification and Development : A Survey and Annotated Bibliography

This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.