@article{owicki:gries:76,
    Author = {Owicki, Susan and Gries, David},
    File = {An axiomatic proof technique for parallel programs I - Owicki, Gries (0) (0) - a - a - i.pdf},
    ISSN = {0001-5903},
    Issue = {4},
    Journal = {Acta Informatica},
    Keywords = {classic},
    Language = {English},
    Pages = {319-340},
    Publisher = {Springer-Verlag},
    Title = {An axiomatic proof technique for parallel programs I},
    URL = {http://dx.doi.org/10.1007/BF00268134},
    Volume = {6},
    Year = {1976},
    bdsk-url-1 = {http://ecommons.library.cornell.edu/handle/1813/6393},
    bdsk-url-2 = {http://dx.doi.org/10.1007/BF00268134},
    date-added = {2012-12-07 10:05:28 +0000},
    date-modified = {2012-12-07 10:06:12 +0000},
    doi = {10.1007/BF00268134}
}

@article{owicki:gries:76, Author = {Owicki, Susan and Gries, David}, File = {An axiomatic proof technique for parallel programs I - Owicki, Gries (0) (0) - a - a - i.pdf}, ISSN = {0001-5903}, Issue = {4}, Journal = {Acta Informatica}, Keywords = {classic}, Language = {English}, Pages = {319-340}, Publisher = {Springer-Verlag}, Title = {An axiomatic proof technique for parallel programs I}, URL = {http://dx.doi.org/10.1007/BF00268134}, Volume = {6}, Year = {1976}, bdsk-url-1 = {http://ecommons.library.cornell.edu/handle/1813/6393}, bdsk-url-2 = {http://dx.doi.org/10.1007/BF00268134}, date-added = {2012-12-07 10:05:28 +0000}, date-modified = {2012-12-07 10:06:12 +0000}, doi = {10.1007/BF00268134} }