Discrete Mathematics for Computer Science door Haggard & Schlipf