Susan Stepney Rosalind Barden David Cooper Object Orientation in Z Workshops in Computing Springer 1992 3-540-19778-8 db/conf/zum/ooz1992.html