Report from the BSIPanel for the Standardisation of VDM (IST/5/50). - Derek J. Andrews (VDM Europe, 1988)

The Formal Definition of Modula-2 and Its Associated Interpreter. - Derek J. Andrews; Anjula Garg; S. P. A. Lau; J. R. Pitchers (VDM Europe, 1988)

A theory and practice of program development. - Derek J. Andrews (Springer, 1997)