Computational Complexity - K. Wagner et G. Wechsung