The essence of discrete mathematics - Dean (Prentice Hall, 1997)