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