An introduction to discrete mathematics, formal system specification and Z /
Ince, D. C.
Oxford : Clarendon,
1992.
Previous title: Introduction to discrete mathematics and formal system specification.