$\LaTeX$: Leslie Lamport