Discrete mathematics for computing. - Andrew Vince; Clare A. Morris (Ellis Horwood, 1990)