Discrete algorithmic mathematics - Maurer, Stephen B. (Addison-Weslley, 1991)