TY  - BOOK
AU  - Ince,D.
TI  - An introduction to discrete mathematics, formal system specification, and Z
T2  - Oxford applied mathematics and computing science series
SN  - 0198538367
PY  - 1992///
CY  - Oxford
PB  - Clarendon Press
KW  - Computer science
KW  - Mathematics
KW  - System design
N1  - Updated ed. of: An introduction to discrete mathematics and formal system specification. 1988; Includes bibliographical references
ER  -