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