Computational complexity - Papadimitriou, Christos H. (Addison-Wesley Publishing Company, Inc, 1994)