Discrete mathematics for computing - Grossman, Peter (1995)