Author: International Workshop on Software Specification and Design (5th 1989 Pittsburgh, Pa.)