Object Orientation in Z (Workshops in Computing) - -