Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)

4 points| sovietswag | 2 months ago |lamport.azurewebsites.net