Lindquist, T. E. (1982). Toward a verification system for the programming language KL-1 using weakest preconditions. Univ. Microfilms.
Chicago-Zitierstil (17. Ausg.)Lindquist, Timothy E. Toward a Verification System for the Programming Language KL-1 Using Weakest Preconditions. Ann Arbor, Mich: Univ. Microfilms, 1982.
MLA-Zitierstil (9. Ausg.)Lindquist, Timothy E. Toward a Verification System for the Programming Language KL-1 Using Weakest Preconditions. Univ. Microfilms, 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.