Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design | IEEE Conference Publication | IEEE Xplore