1. J.-R. Abrial S. A. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. Macnaghten (Eds.) On the Construction of Programs: An Advanced Course. Cambridge University Press UK 343–410. J.-R. Abrial S. A. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. Macnaghten (Eds.) On the Construction of Programs: An Advanced Course . Cambridge University Press UK 343–410.
2. Quality emphasis at IBM's Software Engineering Institute
3. B. P. Collins J. E. Nicholls and I. H. Sørensen. December 1987. Introducing Formal Methods: The CICS Experience with Z. Technical Report TR12.260 IBM Hursley Park. B. P. Collins J. E. Nicholls and I. H. Sørensen. December 1987. Introducing Formal Methods: The CICS Experience with Z . Technical Report TR12.260 IBM Hursley Park.