Theory of computation [by] Walter S. Brainerd [and] Lawrence H. Landweber

Recursive functionsSequential machine theoryProgramming languages (Electronic computers)

For young readers