A prototype system for the validation of Pascal programs. - Peter T. Wilkinson; J. A. Bouchard; B. A. Byrne; Michael A. Hennell; P. Jackson; G. O'Neill; Graeme I. P. Parkin; Brian A. Wichmann (Softw. Eng. J., 1988)

Specification of the MAA Standard in VDM. - Graeme I. P. Parkin; G. O'Neill (VDM Europe (1), 1991)

Automatic Translation of VDM Specifications into Standard ML Programs (Short Note). - G. O'Neill (Comput. J., 1992)