Translating VDM specifications into ABC programs. - Aaron Kans; Clive Hayton (Inf. Softw. Technol., 1994)

Using ABC To Prototype VDM Specifications. - Aaron Kans; Clive Hayton (ACM SIGPLAN Notices, 1994)