Theory of computation - Brainerd, Walter S.; Landweber, Lawrence H. (John Wiley & Sons, 1974)