1. C.B. Jones 'software Development: A Rigourous Approach’ 1980 Prentice-Hall, 1980
2. P. Jackson, ‘Green Language Reference Manual', STC-IDEC 714-96410-UV, 30th March, 1985
3. R. Shaw & A. Walshe, ‘Concrete Syntax for the STC VDM Reference Language', 725 05305, October, 1985
4. B. Monahan & A. Walshe, ‘Context Conditions for the STC VDM Reference Language', 725 05308, February 1986
5. D. Bjorner, B.T. Denvir, E. Meiling, J.S. Pedersen, ‘The RAISE Project — Fundamental Issues and Requirements', RAISE/DDC/EM/1/v6, 10th December, 1985