APA (7th ed.) Citation

Lindquist, T. E. (1982). Toward a verification system for the programming language KL-1 using weakest preconditions. Univ. Microfilms.

Chicago Style (17th ed.) Citation

Lindquist, Timothy E. Toward a Verification System for the Programming Language KL-1 Using Weakest Preconditions. Ann Arbor, Mich: Univ. Microfilms, 1982.

MLA (9th ed.) Citation

Lindquist, Timothy E. Toward a Verification System for the Programming Language KL-1 Using Weakest Preconditions. Univ. Microfilms, 1982.

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