Theory of Computation - Walter S Brainerd, Lawrence H Landweber (John Wiley and Sons, 1974)