Title: Software Specification and Design (IWSSD9 '98), 9th International Workshop