O Leslie Lamport partilhou no seu site um novo livro que penso que virá a ser publicado de forma mais "oficial"! Pareceu-me poder ser uma leitura muito interessante, e além do mais se alguém encontrar gralhas e submeter ficará sempre com o seu nome num livro do Lamport...