1. Abstract Machines, Parts I, II and III. J. R. Abrial. Unpublished, 1993.
2. The B Method, J. R. Abrial, M. K. O. Lee, D. S. Neilson and P. N. Scharbach. VDM ’91, Formal Software Development Methods (Tutorials), LNCS 552, Springer-Verlag (1991).
3. Algorithm Refinement with Read and Write Frames, J.C.Bicarregui, Proceedings of FME’93, LNCS 670, Springer-Verlag, 1993.
4. VDM Proof Obligations and their Justification, C.B.Jones, Proceedings of the VDM ’87 Symposium, LNCS 252, Springer-Verlag(1987).
5. Z and the Refinement Calculus, S. King. Proceedings of VDM ’90, pp. 164–188, LNCS 428, Springer-Verlag, 199.