Stories by John E. Hopcroft

At its logical base every digital computer embodies one of these pencil-and-paper devices invented by the British mathematician A. M. Turing. The machines mark off the limits of computability