Models of computation and formal languages /
Taylor, Ralph Gregory.
New York ; Oxford : Oxford University Press,
1998.
Bibliography: p657-660. - Includes index
Computable functions.
Formal languages.