Savage, N. (2014). “General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended”. Communications of the ACM57 (6): 22–23. doi:10.1145/2601076.
Hoffmann, L. (2014). “Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems”. Communications of the ACM57 (6): 112–ff. doi:10.1145/2601077.