Formal Reasoning About Distributed Algorithms | lit.salon