@article{Hoare:1969:ABC:363235.363259,
    Address = {New York, NY, USA},
    Author = {Hoare, C. A. R.},
    File = {An axiomatic basis for computer programming - Hoare (0) (0) - a - a - t.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Keywords = {classic and axiomatic semantics},
    Month = {October},
    Number = {10},
    Pages = {576--580},
    Publisher = {ACM},
    Title = {An axiomatic basis for computer programming},
    URL = {http://doi.acm.org/10.1145/363235.363259},
    Volume = {12},
    Year = {1969},
    acmid = {363259},
    bdsk-url-1 = {http://doi.acm.org/10.1145/363235.363259},
    bdsk-url-2 = {http://dx.doi.org/10.1145/363235.363259},
    date-added = {2012-04-09 19:58:39 +0200},
    date-modified = {2013-01-03 19:51:10 +0000},
    file-2 = {An axiomatic basis for computer programming - Hoare (1) (0) - a - a - t.pdf},
    issue_date = {Oct. 1969},
    numpages = {5},
    doi = {10.1145/363235.363259}
}

@article{Hoare:1969:ABC:363235.363259, Address = {New York, NY, USA}, Author = {Hoare, C. A. R.}, File = {An axiomatic basis for computer programming - Hoare (0) (0) - a - a - t.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Keywords = {classic and axiomatic semantics}, Month = {October}, Number = {10}, Pages = {576--580}, Publisher = {ACM}, Title = {An axiomatic basis for computer programming}, URL = {http://doi.acm.org/10.1145/363235.363259}, Volume = {12}, Year = {1969}, acmid = {363259}, bdsk-url-1 = {http://doi.acm.org/10.1145/363235.363259}, bdsk-url-2 = {http://dx.doi.org/10.1145/363235.363259}, date-added = {2012-04-09 19:58:39 +0200}, date-modified = {2013-01-03 19:51:10 +0000}, file-2 = {An axiomatic basis for computer programming - Hoare (1) (0) - a - a - t.pdf}, issue_date = {Oct. 1969}, numpages = {5}, doi = {10.1145/363235.363259} }