Discrete Algorithmic Mathematics - Maurer, Stephen B. (Addison-Wesley, 1991)