Stephen A. Cook. Corrigendum: Soundness and Completeness of an Axiom System for Program Verification. SIAM Journal on Computing, 10(3):612, 1981.
@article{Cook81:0, title = {Corrigendum: Soundness and Completeness of an Axiom System for Program Verification}, author = {Stephen A. Cook}, year = {1981}, tags = {completeness, program verification}, researchr = {https://researchr.org/publication/Cook81%3A0}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {10}, number = {3}, pages = {612}, }