Specifying Systems (TLA+ Book) out and free for personal uselamport.azurewebsites.net8 pointspaxos_failure8 years ago