An Introduction to discrete mathematics and formal system specification - Ince, D. C (Oxford: ELBS, 1988)
Includes bibliographical reference and index
Keywords: Computer science -- -- Mathematics; System design