P. Naur and B. Randall, Software Engineering: The Garmisch Conference, NATO Science Committee, 1969.

H. H. Løvengreen, Metodikker og vaerktøjer til konstruktion af programmel (KOMET), p.pp, 1981.

H. Beki?, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas, A formal definition of a PL/I subset, 1974.
DOI : 10.1007/BFb0048942

D. Bjørner and C. B. Jones, The Vienna Development Method: The Meta- Language, LNCS, vol.61, 1978.
DOI : 10.1007/3-540-08766-4

C. W. George, A. E. Haxthausen, S. Hughes, R. Milne, S. Prehn et al., The RAISE Development Method. The BCS Practitioner Series

D. Bjørner, Programming Languages: Linguistics and Semantics, International Computing Symposium 77, pp.511-536, 1977.

D. Bjørner and C. B. Jones, Formal Specification and Software Development, 1982.

P. L. Haff, The Formal Definition of CHILL, ITU (Intl. Telecomm. Union), 1981.

P. Haff and A. V. Olsen, Use of VDM within CCITT, Proc. VDM-Europe Symposium, pp.324-330, 1987.
DOI : 10.1007/3-540-17654-3_18

C. B. Clemmensen and O. N. Oest, Formal specification and development of an Ada compiler ? a VDM case study, Proc. 7th International Conf. on Software Engineering, pp.430-440, 1984.

O. N. Oest, VDM From Research to Practice, Information Processing '86 IFIP World Congress Proceedings, pp.527-533, 1986.

C. W. George, P. Haff, K. Havelund, A. E. Haxthausen, R. Bendix-nielsen et al., The RAISE Specification Language. The BCS Practitioner Series, 1992.
DOI : 10.1007/bfb0019998

G. Reggio, P. Invarardi, E. Astesiano, A. Fantechi, A. Giovani et al., The Draft Formal Definition of Ada, The User Manual of the Meta- Language, 1986.

E. Astesiano, C. Bendix-nielsen, A. Fantechi, A. Giovani, E. W. Karlsen et al., The Draft Formal Definition of Ada, The Dynamic Semantics Definition, 1987.

N. Botta and J. Storbank-pedersen, The Draft Formal Definition of Ada, The Static Semantics Definition, 1987.

J. Storbank-pedersen, VDM in Three Generations of Ada Formal Descriptions, VDM87, VDM ? A Formal Method at Work, 1987.

D. , U. Of-pisa, and C. , The Draft Formal Definition of Ada, Univ. of Genoa, 1987.

S. Prehn, I. Ø. Hansen, S. U. Palm, and P. Gøbel, Formal methods appraisal, first report, 1983.

S. Prehn and I. Ø. Hansen, Formal Methods Appraisal, 1983.

C. W. George, Download for the RAISE Tool Set, United Nations University's International Institute for Software Technology, P.O.Box 3058

C. W. George, UNU-IIST's RAISE Web Pages, 's International Institute for Software Technology, P.O.Box 3058

J. Storbank-pedersen, Information about industrial use of RAISE

J. Storbank-pedersen, Terma Information about the RAISE Tool Set. http://spdweb .terma.com/Projects, RAISE. Terma Inc

K. Schmidt, Kontorarbejde og kontoranalyse, In: Cubus, 1987.