Stepney S. et al eds, "Object Orientation in Z", Springer 1992
(1992)
Languages mentioned
ZERO
{1992}