Discrete mathematics for computing - Crossman, Peter (Macmillan, 1995)