https://bookem.ir/books/1626973-Introduction-to-Reliable-Distributed-Programming