TY  - BOOK
AU  - Ince, D. C.
TI  - An introduction to discrete mathematics and formal system specificat ion
SN  - 0194424332
U1  - 510.0285 
PY  - 1989///
CY  - Oxford
PB  - ELBS/Oxford University Press
KW  - Computer science
KW  - Mathematics
N1  - Includes index; Includes bibliographical references (p. 341-342)
ER  -