Theory of computation
Brainerd, Walter S.
Landweber, Lawrence Hugh.
New York London Wiley-Interscience
1974
Bibliography: p.325-329. - Includes index
Machine theory.