APA (7th ed.) Citation

Wright, J. (1994). Verifying modular programs in HOL.

Chicago Style (17th ed.) Citation

Wright, J. Verifying Modular Programs in HOL. Cambridge, 1994.

MLA (9th ed.) Citation

Wright, J. Verifying Modular Programs in HOL. 1994.

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