Zaslat SMS: Proceedings of the Seventh International Workshop on Software Specification and Design, December 6-7, 1993, Redondo Beach, California /