1. J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A Practitioner’s Guide. Springer-Verlag, 1994.
2. Committee of Experts on the Transport of Dangerous Goods, New York. Recommendations on the Transport of Dangerous Goods 5th revised edition, 1988.
3. R. Elmstrpm, P.G. Larsen, and P.B. Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29 (9), 1994.
4. J. S. Fitzgerald. A proof of Satisfiability in Mukherjee and Stavridou’s Ammunition Control System. Technical Report 616, Dept. of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK, 1997.
5. J. Goguen and T. Winkler. Introducing OBJ. Technical Report SRI-CSL88–9, SRI International, August 1988.