@article{Cook,
    Author = {Cook, Stephen A.},
    File = {Soundness and Completeness of an Axiom System for Program Verification - Cook (0) (0) - a - a - z.pdf},
    ISSN = {10957111},
    Journal = {SIAM J. on Computing},
    Keywords = {axiomatic semantics and classic},
    Number = {1},
    Pages = {70--90},
    Title = {Soundness and Completeness of an Axiom System for Program Verification},
    Volume = {7},
    Year = {1978},
    bdsk-url-1 = {http://dx.doi.org/10.1137/0207005},
    date-added = {2012-04-15 07:54:09 +0100},
    date-modified = {2017-07-19 07:29:07 +0000},
    doi = {10.1137/0207005}
}

@article{Cook, Author = {Cook, Stephen A.}, File = {Soundness and Completeness of an Axiom System for Program Verification - Cook (0) (0) - a - a - z.pdf}, ISSN = {10957111}, Journal = {SIAM J. on Computing}, Keywords = {axiomatic semantics and classic}, Number = {1}, Pages = {70--90}, Title = {Soundness and Completeness of an Axiom System for Program Verification}, Volume = {7}, Year = {1978}, bdsk-url-1 = {http://dx.doi.org/10.1137/0207005}, date-added = {2012-04-15 07:54:09 +0100}, date-modified = {2017-07-19 07:29:07 +0000}, doi = {10.1137/0207005} }