1. J.M. Spivey, The Z notation: A Reference manual, Prentice-Hall International (1989).
2. J. He, C.A.R. Hoare, J.W. Sanders, Data Refinement Refined — Resume, in Procs. ESOP 86, LNCS 213, pp 187–196, Springer-Verlag.
3. S. King, Ib H. Sorensen, From Specification, through Design, to Code: A Case Study in Refinement, in The Theory and Practice of Refinement (Ed. J. McDermid ), pp 90–121, Butterworths (1989).
4. J.C.P. Woodcock, Mathematics as a Management Tool: Proof Rules for Promotion, in Procs. CSR Sixth Annual Conference on Large Software Systems, Bristol, Elsevier (1989).