APA (7th ed.) Citation

O'Neill, G. (1992). Automatic translation of VDM specifications into standard ML programs.

Chicago Style (17th ed.) Citation

O'Neill, G. Automatic Translation of VDM Specifications into Standard ML Programs. Teddington, Middlesex, 1992.

MLA (9th ed.) Citation

O'Neill, G. Automatic Translation of VDM Specifications into Standard ML Programs. 1992.

Warning: These citations may not always be 100% accurate.