Theory of Computation

by Walter Brainerd and Lawrence Landweber, 1974, ISBN: 0-4710958-5-0

Commentary

There are lots of books on computability. This is one of them. I don't think it's the best one, but it's the one that defines the programming language "PL" and, more interestingly, PL's primitive recursive subset PL-{GOTO}.