@article{Lipton:1975:RMP:361227.361234,
    Address = {New York, NY, USA},
    Author = {Lipton, Richard J.},
    File = {Reduction a method of proving properties of parallel programs - Lipton (0) (0) - a - a - x.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Keywords = {readme},
    Month = {December},
    Number = {12},
    Pages = {717--721},
    Publisher = {ACM},
    Title = {Reduction: a method of proving properties of parallel programs},
    URL = {http://doi.acm.org/10.1145/361227.361234},
    Volume = {18},
    Year = {1975},
    acmid = {361234},
    bdsk-url-1 = {http://doi.acm.org/10.1145/361227.361234},
    bdsk-url-2 = {http://dx.doi.org/10.1145/361227.361234},
    date-added = {2013-11-08 08:01:33 +0000},
    date-modified = {2013-11-08 08:01:46 +0000},
    issue_date = {Dec. 1975},
    numpages = {5},
    doi = {10.1145/361227.361234}
}

@article{Lipton:1975:RMP:361227.361234, Address = {New York, NY, USA}, Author = {Lipton, Richard J.}, File = {Reduction a method of proving properties of parallel programs - Lipton (0) (0) - a - a - x.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Keywords = {readme}, Month = {December}, Number = {12}, Pages = {717--721}, Publisher = {ACM}, Title = {Reduction: a method of proving properties of parallel programs}, URL = {http://doi.acm.org/10.1145/361227.361234}, Volume = {18}, Year = {1975}, acmid = {361234}, bdsk-url-1 = {http://doi.acm.org/10.1145/361227.361234}, bdsk-url-2 = {http://dx.doi.org/10.1145/361227.361234}, date-added = {2013-11-08 08:01:33 +0000}, date-modified = {2013-11-08 08:01:46 +0000}, issue_date = {Dec. 1975}, numpages = {5}, doi = {10.1145/361227.361234} }