Elements of discrete mathematics:a computer oriented approach - Liu, Chung Laung (Tata McGraw-Hill, 2008)