Discrete mathematics for computing - Munro, John E., (John Eric Mackay) (Thomas Nelson, 1992)