Computational complexity - Papadimitriou, Christos H. (Addison-Wesley, 1995)