Ten years of Hoare’s logic: A survey (1981)

by Krzysztof R Apt
Venue:Part I. Transactions on Programming Languages and Systems