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