Programming language constructs for which it is impossible to obtain good Hoare axiom systems (1979)

by E M Clarke
Venue:Journal of the ACM