Week 16: Converting Z into OOP Code.

Chapter 24 (Page 231 to 233) is about the revision of OOP and its link with Z. Object-oriented programming is a method for creating programs that use a particular
kind of model. Object-oriented programming languages such as Smalltalk and C++ can implement these models, but a simpler notation that is independent of any
programming language is more useful when you are creating and analyzing the models. Z can serve as that notation. You can do object-oriented design in ordinary
Z, and there are several Z dialects that are intended to provide better support for object-oriented programming.