@article{Lamport:1977:PCM:1313313.1313439,
    Address = {Piscataway, NJ, USA},
    Author = {Lamport, L.},
    File = {Proving the Correctness of Multiprocess Programs - Lamport (0) (0) - a - a - w.pdf},
    ISSN = {0098-5589},
    Journal = {IEEE Trans. Softw. Eng.},
    Keywords = {formal verification},
    Month = {March},
    Number = {2},
    Pages = {125--143},
    Publisher = {IEEE Press},
    Title = {Proving the Correctness of Multiprocess Programs},
    URL = {http://dx.doi.org/10.1109/TSE.1977.229904},
    Volume = {3},
    Year = {1977},
    acmid = {1313439},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TSE.1977.229904},
    date-added = {2012-12-07 10:03:16 +0000},
    date-modified = {2013-05-02 08:47:10 +0000},
    issue_date = {March 1977},
    numpages = {19},
    doi = {10.1109/TSE.1977.229904}
}

@article{Lamport:1977:PCM:1313313.1313439, Address = {Piscataway, NJ, USA}, Author = {Lamport, L.}, File = {Proving the Correctness of Multiprocess Programs - Lamport (0) (0) - a - a - w.pdf}, ISSN = {0098-5589}, Journal = {IEEE Trans. Softw. Eng.}, Keywords = {formal verification}, Month = {March}, Number = {2}, Pages = {125--143}, Publisher = {IEEE Press}, Title = {Proving the Correctness of Multiprocess Programs}, URL = {http://dx.doi.org/10.1109/TSE.1977.229904}, Volume = {3}, Year = {1977}, acmid = {1313439}, bdsk-url-1 = {http://dx.doi.org/10.1109/TSE.1977.229904}, date-added = {2012-12-07 10:03:16 +0000}, date-modified = {2013-05-02 08:47:10 +0000}, issue_date = {March 1977}, numpages = {19}, doi = {10.1109/TSE.1977.229904} }