Discrete Algorithmic Mathematics - Anthony Ralston; Stephen B. Maurer (Taylor and Francis, 2005)