Foundations of algorithms using C++ pseudocode - Neapolitan, Richard E.; Naimipour, Kumarss (Sudbury, Mass. Jones and Bartlett, 2004)
Keywords: Algorithms; Constructive mathematics; Computational complexity