APA (7th ed.) Citation

Andrews, D., & Ince, D. (1991). Practical formal methods with VDM. McGraw-Hill.

Chicago Style (17th ed.) Citation

Andrews, D., and Darrel Ince. Practical Formal Methods with VDM. Berkshire, England: McGraw-Hill, 1991.

MLA (9th ed.) Citation

Andrews, D., and Darrel Ince. Practical Formal Methods with VDM. McGraw-Hill, 1991.