Elements of discrete mathematics / A Computer Oriented Approach - Liu, C. L. (McGraw-Hill computer science series, 2013)