International Workshop on Software Specification and Design (3rd 1985 London, England)