Mathematics of Discrete Structures for Computer Science - Pace, Gordon J. (Springer Berlin Heidelberg, 2012)