You are about to access our book library "Fifth International Workshop on Software Specification and Design: Proceedings (INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND ... ON SOFTWARE SPECIFICATION AND DESIGN) full version" .