@article{Jones:2003:EST:858595.858602,
    Address = {Piscataway, NJ, USA},
    Author = {Jones, Cliff B.},
    File = {The Early Search for Tractable Ways of Reasoning about Programs - Jones (0) (0) - a - a - r.pdf},
    ISSN = {1058-6180},
    Journal = {IEEE Ann. Hist. Comput.},
    Keywords = {axiomatic semantics},
    Month = {April},
    Number = {2},
    Pages = {26--49},
    Publisher = {IEEE Educational Activities Department},
    Title = {The Early Search for Tractable Ways of Reasoning about Programs},
    URL = {http://dx.doi.org/10.1109/MAHC.2003.1203057},
    Volume = {25},
    Year = {2003},
    acmid = {858602},
    bdsk-url-1 = {http://dx.doi.org/10.1109/MAHC.2003.1203057},
    date-added = {2012-04-15 11:20:48 +0100},
    date-modified = {2012-04-15 10:22:28 +0000},
    issue_date = {April 2003},
    numpages = {24},
    doi = {10.1109/MAHC.2003.1203057}
}

@article{Jones:2003:EST:858595.858602, Address = {Piscataway, NJ, USA}, Author = {Jones, Cliff B.}, File = {The Early Search for Tractable Ways of Reasoning about Programs - Jones (0) (0) - a - a - r.pdf}, ISSN = {1058-6180}, Journal = {IEEE Ann. Hist. Comput.}, Keywords = {axiomatic semantics}, Month = {April}, Number = {2}, Pages = {26--49}, Publisher = {IEEE Educational Activities Department}, Title = {The Early Search for Tractable Ways of Reasoning about Programs}, URL = {http://dx.doi.org/10.1109/MAHC.2003.1203057}, Volume = {25}, Year = {2003}, acmid = {858602}, bdsk-url-1 = {http://dx.doi.org/10.1109/MAHC.2003.1203057}, date-added = {2012-04-15 11:20:48 +0100}, date-modified = {2012-04-15 10:22:28 +0000}, issue_date = {April 2003}, numpages = {24}, doi = {10.1109/MAHC.2003.1203057} }