«Theory of Computation», benzeri kitaplar