TY  - GEN
AU  - Ince , D.C.
AU  - Buxton , J.N. ;ed. ;Churchhouse , R.F. ;ed. ;Travler , A.B. ;ed.
TI  - An introduction to discrete mathematics and fomal system specification
SN  - 0198596642
U1  - 004.0151 
PY  - 1988///
CY  - New York
PB  - Oxford
KW  - COMPUTER SCIENCE
KW  - ELECTRONIC DATA PROCESSING - MATHEMATICS
KW  - SYSTEM DESIGN
KW  - COMPUTER MATHEMATICS
ER  -