An introduction to discrete mathematics and formal system specification - Ince, D. (Darrel). (Oxford : Clarendon Press, 1988)
Includes bibliographical references and index.
Keywords: Electronic data processing -- Mathematics; System design