Stepney S. et al eds, "Object Orientation in Z", Springer 1992

Languages mentioned

• ZEST {1992}