Title: Refinement in Z and Object-Z: Foundations and Advanced Applications, Author: John Derrick
Title: The Object-Z Specification Language, Author: Graeme Smith