Introduction to the theory of complexity - Bovet, Daniel Pierre; Crescenzi, Pierluigi (Prentice Hall, 1996)