G. P. Randell

• Improving the translation from data flow diagrams into Z by incorporating the data dictionary
• Languages for requirements specifications