An introduction to discrete mathematics and formal system specificat ion - Ince, D. C. (Darrel C.) (Oxford : ELBS/Oxford University Press, 1989)
Includes index
Includes bibliographical references (p. 341-342)
Keywords: Computer science -- Mathematics