Discrete mathematics for computing - Munro, John E. (Chapman & Hall, 1992)