Books by International Workshop on Software Specification and Design (5th 1989 Pittsburgh, Pa.) on BookTides.