An introduction to discrete mathematics and formal system specification
Ince, D. C.
Clarendon
1988
Electronic data processing