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