Formal Techniques for Distributed Systems by Roberto Bruni | Menrva Books | MenrvaBooks