The Construction of Formal Specifications: An Introduction to the Model Based and Algebraic Approaches (1994)

by J Turner, T L McCluskey