Reasoning about programs (1974)

by R J Waldinger, K N Levitt
Venue:in Studies in Automatic Programming Logic, American Elsevier, 1976, Manna and Waldinger (eds