An example of formal specification as an aid to design and development

Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil. An example of formal specification as an aid to design and development. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 266-272, ACM, 1989. [doi]