Algebraic Specification

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software.