Title: Tenth International Workshop on Software Specification and Design
First published: November 2000