@article{Bergstra1982267,
    Author = {Bergstra, J.A. and Tucker, J.V.},
    File = {Expressiveness and the completeness of Hoare's logic - Bergstra, Tucker (0) (0) - a - a - g.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {axiomatic semantics and Hoare logic},
    Number = {3},
    Pages = {267 - 284},
    Title = {Expressiveness and the completeness of Hoare's logic},
    URL = {http://www.sciencedirect.com/science/article/pii/0022000082900137},
    Volume = {25},
    Year = {1982},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000082900137},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(82)90013-7},
    date-added = {2013-01-22 05:03:33 +0000},
    date-modified = {2013-01-22 05:58:28 +0000},
    doi = {10.1016/0022-0000(82)90013-7}
}

@article{Bergstra1982267, Author = {Bergstra, J.A. and Tucker, J.V.}, File = {Expressiveness and the completeness of Hoare's logic - Bergstra, Tucker (0) (0) - a - a - g.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {axiomatic semantics and Hoare logic}, Number = {3}, Pages = {267 - 284}, Title = {Expressiveness and the completeness of Hoare's logic}, URL = {http://www.sciencedirect.com/science/article/pii/0022000082900137}, Volume = {25}, Year = {1982}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000082900137}, bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(82)90013-7}, date-added = {2013-01-22 05:03:33 +0000}, date-modified = {2013-01-22 05:58:28 +0000}, doi = {10.1016/0022-0000(82)90013-7} }