Automatic Translation of VDM Specifications into Standard ML Programs (Short Note).
Comput. J., 1992
Specification of the MAA Standard in VDM.
Proceedings of the VDM '91, 1991
A prototype system for the validation of Pascal programs.
Softw. Eng. J., 1988