You are about to access our book library "The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches (The McGraw-Hill International Series in) full version" .