Essence of discrete mathematics - Dean Neville (Essence of computing/, 1997)