Spivey, J. M. (1992). The Z notation : a reference manual. New York, Prentice Hall.
(1992)
Languages mentioned
Z
{1980}