You are about to access our book library "Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports) full version" .