Jack C. Wileden Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993 IWSSD 1993 IEEE Computer Society db/conf/iwssd/iwssd1993.html