You are about to access our book library "Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing) full version" .