Introduction to the theory of complexity - Bovet, Daniel Pierre; Crescenzi, Pierluigi (Prentice Hall international series in computer science, 1994)