Discrete mathematics for computing - Grossman, Peter (Palgrave, 2009)