You are about to access our book library "Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification full version" .