Books — theoretical computer science