Wordsworth, J. B. (1992). Software development with Z : a practical approach to formal methods in software engineering. Wokingham, England ; Reading, Mass., Addison-Wesley Pub. Co.
(1992)
Languages mentioned
Z
{1980}