Gems of Theoretical Computer Science