Object Orientation In Z Workshops In Computing