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