ZUM'97: The Z Formal Specification Notation: 10th ...
Jonathan P. Bowen
J. P. Bowen and M. G. Hinchey. Formal methods and safety-critical standards. IEEE Computer, 27(8):68-71, August 1994. 77. J. P.BowenandM. G. Hinchey. Seven more myths of formal methods: Dispelling industrial prejudices. In Naftalin et al.