Leslie Lamport - How to Write Software With Mathematical - A quanta mag. publicou uma entrevista com Leslie Lamport muito interessante. Para além das referências históricas ao trabalho de Lamport (LaTeX, Relógios de Lamport, Paxos) interessou-me particularmente a discussão em torno da linguagem TLA+.