https://bookem.ir/books/1637488-Distributed-algorithms-for-message-passing-systems