Software Engineering: The Garmisch Conference, NATO Science Committee, 1969. ,
Metodikker og vaerktøjer til konstruktion af programmel (KOMET), p.pp, 1981. ,
A formal definition of a PL/I subset, 1974. ,
DOI : 10.1007/BFb0048942
The Vienna Development Method: The Meta- Language, LNCS, vol.61, 1978. ,
DOI : 10.1007/3-540-08766-4
The RAISE Development Method. The BCS Practitioner Series ,
Programming Languages: Linguistics and Semantics, International Computing Symposium 77, pp.511-536, 1977. ,
Formal Specification and Software Development, 1982. ,
The Formal Definition of CHILL, ITU (Intl. Telecomm. Union), 1981. ,
Use of VDM within CCITT, Proc. VDM-Europe Symposium, pp.324-330, 1987. ,
DOI : 10.1007/3-540-17654-3_18
Formal specification and development of an Ada compiler ? a VDM case study, Proc. 7th International Conf. on Software Engineering, pp.430-440, 1984. ,
VDM From Research to Practice, Information Processing '86 IFIP World Congress Proceedings, pp.527-533, 1986. ,
The RAISE Specification Language. The BCS Practitioner Series, 1992. ,
DOI : 10.1007/bfb0019998
The Draft Formal Definition of Ada, The User Manual of the Meta- Language, 1986. ,
The Draft Formal Definition of Ada, The Dynamic Semantics Definition, 1987. ,
The Draft Formal Definition of Ada, The Static Semantics Definition, 1987. ,
VDM in Three Generations of Ada Formal Descriptions, VDM87, VDM ? A Formal Method at Work, 1987. ,
The Draft Formal Definition of Ada, Univ. of Genoa, 1987. ,
Formal methods appraisal, first report, 1983. ,
Formal Methods Appraisal, 1983. ,
Download for the RAISE Tool Set, United Nations University's International Institute for Software Technology, P.O.Box 3058 ,
UNU-IIST's RAISE Web Pages, 's International Institute for Software Technology, P.O.Box 3058 ,
Information about industrial use of RAISE ,
Terma Information about the RAISE Tool Set. http://spdweb .terma.com/Projects, RAISE. Terma Inc ,
Kontorarbejde og kontoranalyse, In: Cubus, 1987. ,