https://bookem.ir/books/2148472-Formal-Methods-for-Open-Object-Based-Distributed-Systems
Formal Methods for Open Object-Based Distributed Systems