An introduction to discrete mathematics and formal system specification - Ince, Darrel 1948- (Oxford applied mathematics and computing science series, 1988)