Title: Refinement in Z and Object-Z
Subjects: Z (Computer program language), Object-oriented programming (Computer science)