Shipping costs for Z – An Introduction to Formal Methods 2e