TY  - BOOK
AU  - Ince,D.
TI  - An introduction to discrete mathematics and formal system specification
T2  - Oxford applied mathematics and computing science series
SN  - 0198596677
PY  - 1988///
CY  - Oxford
PB  - Clarendon Press
KW  - Electronic data processing
KW  - Mathematics
KW  - System design
N1  - Includes bibliographical references and index
ER  -