Mathematics of discrete structures for computer science - Pace, Gordon J. (Springer-Verlag, 2012)