Ince, David C. An introduction to discrete mathematics and formal system specifications - Oxford: Oxford University Press, 1988. - vii,349p. :ill. ;21cm. ISBN: 0-19-442433-2 Subjects--Topical Terms: Computer science Mathematic LC Class. No.: QA75.5.I5