The Object-Z Specification Language by Graeme Smith