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