Deakstadieđáhus: Discrete mathematics for computer science / Gary Haggard, John Schlipf and Sue Whitesides.