Soundness and completeness of an axiomatic system for program verification (1978)

by S A Cook
Venue:SIAM J. on Computing