Lamport, Leslie How to write a 21\(^{\text{st}}\) century proof. (English) Zbl 1271.03082 J. Fixed Point Theory Appl. 11, No. 1, 43-63 (2012). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03F07 03B35 00A35 PDFBibTeX XMLCite \textit{L. Lamport}, J. Fixed Point Theory Appl. 11, No. 1, 43--63 (2012; Zbl 1271.03082) Full Text: DOI
Ziegler, Günter M. [Lamport, Leslie] How (La)TEX changed the face of mathematics. An E-interview with Leslie Lamport, the author of LATEX. (English) Zbl 1329.01105 Mitt. Dtsch. Math.-Ver. 8, No. 1, 49-51 (2000). MSC: 01A99 PDFBibTeX XMLCite \textit{G. M. Ziegler}, Mitt. Dtsch. Math.-Ver. 8, No. 1, 49--51 (2000; Zbl 1329.01105) Full Text: DOI
Lamport, Leslie LaTeX: a document preparation system. (Das LaTeX-Handbuch.) (German) Zbl 0852.68115 Bonn: Addison-Wesley. xviii, 325 p. (1995). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68U15 68-01 PDFBibTeX XMLCite \textit{L. Lamport}, Das LaTeX-Handbuch. Bonn: Addison-Wesley (1995; Zbl 0852.68115)