Gems of theoritical computer science - Schoning, Uwe (Berlin Springer, 1998)