Formal Methods for Open Object-based Distributed Systems: Volume 2

Howard Bowman , John Derrick