Foundations of algorithms - Neapolitan, Richard E; Naimipour, Kumarss (Lexington D. C. Health and Company, 1996)
Keywords: Algorithms. -- Constructive mathematics. -- Computational complexity