APA (7th ed.) Citation

Joyce, J. J. (1989). A verified compiler for a verified microprocessor.

Chicago Style (17th ed.) Citation

Joyce, Jeffrey J. A Verified Compiler for a Verified Microprocessor. Cambridge, 1989.

MLA (9th ed.) Citation

Joyce, Jeffrey J. A Verified Compiler for a Verified Microprocessor. 1989.

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