Ince, D. C. An introduction to discrete mathematics and formal system specification / D.C. Ince. - ELBS ed. - Oxford : ELBS/Oxford University Press, 1989. - xii, 349 p. ISBN: 0194424332 (pbk.) Subjects--Topical Terms: Computer science--Mathematics.System design.