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