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