Exploring discrete mathematics with Maple - Rosen, Kenneth H.; Rosen, Kenneth H. iscrete mathematics and its applications. 3rd ed (McGraw-Hill, 1997)