书籍 — theoretical computer science