Formal Methods for Open Object-based Distributed Systems: Volume 1 | DealShopping Deutschland