D. Andrews

The Vienna development method

D. Andrews, 1990 .

A Small Programming Language

D. Andrews, 1997 .

Practical formal methods with VDM

Darrel C. Ince, Derek Andrews, D. Andrews, 1991 .

Semantics of specification languages (SoSL) : proceedings of the international workshop, Utrecht, The Netherlands, 25-27 October 1993

Jan Friso Groote, J. F. Groote, C. A. Middelburg, 1994 .

Semantics of Specification Languages (SoSL)

J. F. Groote, C. A. Middelburg, D. J. Andrews, 1994, Workshops in Computing.

Specification aspects of VDM

Derek Andrews, D. Andrews, 1988 .

Formal specification and software development

Dines Bjørner, Cliff B. Jones, Derek Andrews, 1982 .