Title: The Object-Z specification language
Subjects: Object-oriented programming (Computer science), Z (Computer program language), Object-oriented programming (computer science), Z (computer program language), Object-oriented programming, Other programming languages