https://intlibrary.ir/download/introduction-to-reliable-distributed-programming-17361/