The essence of discrete mathematics - Dean, Neville (The essence of computing series, 1997)