1. J-R. Abrial, The B-Book: Assigning Programs to Meaning, Cambridge University Press, 1996.
2. J.C. Bicarregui, and B. Ritchie, Invariants, frames and preconditions: a comparison of the VDM and B notations, in Proceedings of Formal Methods Europe'93, Lecture Notes in Computer Science, Vol. 670, ed. J. Woodcock and P G Larsen, Springer-Verlag 1993.
3. J.C. Bicarregui, A.J.J. Dick, B.M. Matthews, and E. Woods, Making the most of formal specification through Animation, Testing and Proof, Science of Computer Programming 29 (1–2) p.55–80 Elsevier-Science, (June 1997)
4. R.F. Docherty, Translation from Z to AMN, proceedings 7th International Conference on Putting into Practice Methods and Tools for Information System Design, ed. H. Habrias, ISBN 2-906082-19-8, 1995.
5. J. Draper (ed), Industrial benefits of the SPECTRUM approach, Spectrum Project External Deliverable 1.3, 1997.