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

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