You are about to access our book library "Proceedings: Software Specification and Design, 3rd International Workshop full version" .