@article{Lamport:1979:MMC:1311099.1311750,
    Address = {Washington, DC, USA},
    Author = {Lamport, L.},
    File = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs - Lamport (0) (0) - a - a - z.pdf},
    ISSN = {0018-9340},
    Journal = {IEEE Trans. Comput.},
    Keywords = {Computer design, concurrent computing, hardware correctness, multiprocessing, parallel processing, parallel processing, Computer design, concurrent computing, hardware correctness, multiprocessing},
    Month = {September},
    Number = {9},
    Pages = {690--691},
    Publisher = {IEEE Computer Society},
    Title = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs},
    URL = {http://dx.doi.org/10.1109/TC.1979.1675439},
    Volume = {28},
    Year = {1979},
    acmid = {1311750},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TC.1979.1675439},
    date-added = {2013-01-30 17:47:04 +0000},
    date-modified = {2013-01-30 17:47:04 +0000},
    issue_date = {September 1979},
    numpages = {2},
    doi = {10.1109/TC.1979.1675439}
}

@article{Lamport:1979:MMC:1311099.1311750, Address = {Washington, DC, USA}, Author = {Lamport, L.}, File = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs - Lamport (0) (0) - a - a - z.pdf}, ISSN = {0018-9340}, Journal = {IEEE Trans. Comput.}, Keywords = {Computer design, concurrent computing, hardware correctness, multiprocessing, parallel processing, parallel processing, Computer design, concurrent computing, hardware correctness, multiprocessing}, Month = {September}, Number = {9}, Pages = {690--691}, Publisher = {IEEE Computer Society}, Title = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs}, URL = {http://dx.doi.org/10.1109/TC.1979.1675439}, Volume = {28}, Year = {1979}, acmid = {1311750}, bdsk-url-1 = {http://dx.doi.org/10.1109/TC.1979.1675439}, date-added = {2013-01-30 17:47:04 +0000}, date-modified = {2013-01-30 17:47:04 +0000}, issue_date = {September 1979}, numpages = {2}, doi = {10.1109/TC.1979.1675439} }