Toward a verification system for the programming language KL-1 using weakest preconditions - Lindquist, Timothy E. (Univ. Microfilms, 1982)
Zugl.: Ames, Iowa, Iowa State Univ., Diss., 1979
Keywords: Hochschulschrift