An interview with Leslie Lamport (creator of Latex, Paxos, etc.)