Gems of theortical computer Science - Schoning, Uwe (Berlin Springer, 1998)