Formal Techniques for Distributed Objects, Components, and Systems 2 contributors - Paperback £59.99 Find out more