Foundations of algorithms - Neapolitan, Richard E. (Burlington, MA : Jones & Bartlett Learning, 2015)
Includes bibliographical references (pages 653-658) and index.
Keywords: Algorithms; Constructive mathematics; Computational complexity