출판 A Machine-Independent Linker Christopher W. Fraser, David R. Hanson Software: Practice and Experience | May 1982, 제 12 권(4): pp. 351-366
출판 Password Authentication with Insecure Communication Leslie Lamport Communications of the ACM 24 | November 1981, pp. 770-772
출판 Least-Squares Lowpass Filters with Nonmonotonic Response Luiz P. Caloba, Henrique S. Malvar IEEE Transactions on Circuits and Systems | December 1980
출판 Reaching Agreement in the Presence of Faults Marshall Pease, Robert Shostak, Leslie Lamport Journal of the Association for Computing Machinery 27 | April 1980, 제 2 권 2005 Edsger W. Dijkstra Prize in Distributed Computing
출판 Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
출판 Sometime’ is Sometimes ‘Not Never’ Leslie Lamport Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980
출판 Constructing Digital Signatures from a One Way Function Leslie Lamport CSL-98 | October 1979 This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.
출판 On the Proof of Correctness of a Calendar Program Leslie Lamport Communications of the ACM 22 | October 1979, 제 10 권: pp. 554-556
