Ince, D.C. An introduction to discrete mathematics and formal system specification - Oxford: Oxford University Press, 1988 - xi, 349p.: 23cm. ISBN: 0194424332 Subjects--Topical Terms: Mathematics Dewey Class. No.: 511.2 / INC