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