Computational Complexity by Wagner, K.