Publications

Specifying and refining programs with Z

• • John Wordsworth
• 1988
• ICSE 1988