Formal Methods For Open Object-Based Distributed Systems Iv door S., Talcott & C. Smith