论文与出版物 State the Problem Before Describing the Solution Leslie Lamport ACM SIGSOFT Software Engineering Notes | January 1978, pp. 26
论文与出版物 On Concurrent Reading and Writing Leslie Lamport Communications of the ACM 20 | November 1977, 第 11 卷: pp. 806-811
论文与出版物 Proving the Correctness of Multiprocess Programs Leslie Lamport IEEE Transactions on Software Engineering SE-3 | March 1977, 第 2 卷: pp. 125-143
论文与出版物 How to Tell a Program from an Automobile Leslie Lamport In A Dynamic and Quick Intellect, John Tromp editor (1996)–a Liber Amicorum issued by the CWI in honor of Paul Vitanyi’s 25-year jubilee. | January 1977
论文与出版物 On the Glitch Phenomenon Leslie Lamport, Richard Palais November 1976 Rejected by IEEE Transactions on Computers (November 1976).
论文与出版物 Texture and Reflection in Computer Generated Images Jim Blinn Communications of the ACM | October 1976, 第 19 卷(10)
论文与出版物 Multiple Byte Processing with Full-Word Instructions Leslie Lamport Communications of the ACM | August 1975, 第 18 卷(8): pp. 471-475
论文与出版物 A New Solution of Dijkstra’s Concurrent Programming Problem Leslie Lamport Communications of the ACM 17 | August 1974