An introduction to discrete mathematics and formal system specification /
Ince, D. C.
Oxford : English Language Book Society/Oxford University Press,
c1989.