An introduction to discrete mathematics, formal system specification, and Z - Ince, D. (Darrel); Ince, D. (Darrel). (Oxford : Clarendon Press ; New York : Oxford University Press, 1992)
Includes bibliographical references (p. [280]-282) and index.
Keywords: Computer science -- Mathematics; System design