Discrete algorithmic mathematics - Maurer, Stephen B.; Ralston, Anthony 1930- (Peters, 2004)