Title: Formal Object Oriented Specification Using Object-Z
Subjects: Object-oriented programming (computer science), Z (computer program language)