Introduction to discrete mathematics and formal system specification - Ince D C (Oxford Clerendon Press, 1988)
Keywords: Computer science; Discrete mathematics