Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Journal