@article{Levin:1981:PTC:2697740.2698000,
    Address = {Secaucus, NJ, USA},
    Author = {Levin, Gary Marc and Gries, David},
    ISSN = {0001-5903},
    Journal = {Acta Inf.},
    Month = {June},
    Number = {3},
    Pages = {281--302},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {A Proof Technique for Communicating Sequential Processes},
    URL = {http://dx.doi.org/10.1007/BF00289266},
    Volume = {15},
    Year = {1981},
    acmid = {2698000},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF00289266},
    date-added = {2019-12-28 12:31:40 +0100},
    date-modified = {2019-12-28 12:31:40 +0100},
    issue_date = {June 1981},
    numpages = {22},
    doi = {10.1007/BF00289266}
}

@article{Levin:1981:PTC:2697740.2698000, Address = {Secaucus, NJ, USA}, Author = {Levin, Gary Marc and Gries, David}, ISSN = {0001-5903}, Journal = {Acta Inf.}, Month = {June}, Number = {3}, Pages = {281--302}, Publisher = {Springer-Verlag New York, Inc.}, Title = {A Proof Technique for Communicating Sequential Processes}, URL = {http://dx.doi.org/10.1007/BF00289266}, Volume = {15}, Year = {1981}, acmid = {2698000}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF00289266}, date-added = {2019-12-28 12:31:40 +0100}, date-modified = {2019-12-28 12:31:40 +0100}, issue_date = {June 1981}, numpages = {22}, doi = {10.1007/BF00289266} }