A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL. The file type is application/pdf.
application/pdf
Lamport. "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs." IEEE transactions on computers C-28.9 (1979) 690-691