TY  - GEN
AU  - Ince, D. C.
TI  - An introduction to discrete mathematics and formal system specification
SN  - 0194424332
PY  - 1988///
CY  - Oxford
PB  - Oxford University Press 
KW  - Computer science -  Mathematics
KW  - System design
ER  -