Title: Fifth International Workshop on SoftwareSpecification and Design, May 19-20, 1989, Pittsburgh, Pennsylvania, U.S.A
First published: 1989