https://intlibrary.ir/download/formal-techniques-for-distributed-objects-com-33488/