@article{hoare:72,
    Author = {Hoare, C.A.R.},
    File = {Proof of correctness of data representations - Hoare (0) (0) - a - a - z.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Language = {English},
    Number = {4},
    Pages = {271-281},
    Publisher = {Springer-Verlag},
    Title = {Proof of correctness of data representations},
    URL = {http://dx.doi.org/10.1007/BF00289507},
    Volume = {1},
    Year = {1972},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF00289507},
    date-added = {2013-06-17 15:57:05 +0000},
    date-modified = {2013-06-17 15:57:05 +0000},
    doi = {10.1007/BF00289507}
}

@article{hoare:72, Author = {Hoare, C.A.R.}, File = {Proof of correctness of data representations - Hoare (0) (0) - a - a - z.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Language = {English}, Number = {4}, Pages = {271-281}, Publisher = {Springer-Verlag}, Title = {Proof of correctness of data representations}, URL = {http://dx.doi.org/10.1007/BF00289507}, Volume = {1}, Year = {1972}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF00289507}, date-added = {2013-06-17 15:57:05 +0000}, date-modified = {2013-06-17 15:57:05 +0000}, doi = {10.1007/BF00289507} }