Stepney et al. (1992)
Stepney S., Barden R. and Cooper D. (eds) (1992)
Object Orientation in Z
Springer