TY  - BOOK
AU  - Ince D C
TI  - Introduction to discrete mathematics and formal system specification
U1  - 004.0151 
PY  - 1988///
CY  - Oxford
PB  - Clerendon Press
KW  - Computer science
KW  - Discrete mathematics
ER  -