Discrete mathematics for computer scientists - Stein, Clifford, 1965- (Pearson/Addison-Wesley, 2011)