https://bookem.ir/books/3441118-Distributed-Algorithms-for-Message-Passing-Systems