The Object-Z Specification Language door Graeme Smith