Spivey, J. M. (1989). The Z notation : a reference manual. Englewood Cliffs, N.J., Prentice Hall.
(1989)
Languages mentioned
Z
{1980}