Comment by nylonstrung

Lamport is the author of more than half of these, it's crazy how influential he is in this space

In addition to making LaTex which has almost nothing to do with it