Computational Complexity - Papadimitriou, Christos H (Addison-Wesley, 1994)