The Object-Z Specification Language (Advances in Formal Methods (1), Band 1) | DealShopping Deutschland