Discrete algorithmic mathematics - Maurer, Stephen B. (A.K. Peters, 2004)