Theory of computation - Brainerd, Walter S.; Landweber, Lawrence H. (New York John Wiley, 1974)
Includes bibliographical references and index
Keywords: Sequential machine theory; Recursive functions; Programming languages (Electronic computers)