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

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