Cited locators: printed pp.453–454, asynchronous concurrent-process model, critical-section problem, algorithm and correctness assertions. The firstPDF page also contains the end of an unrelated preceding article; the Lamport paper starts at its own title/byline on that page.