You are about to access our book library "Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501) full version" .