Models of computation and formal languages - Taylor, Ralph Gregory (New York : Oxford University Press, 1998)
Includes bibliographical references and index
Keywords: Computable functions; Formal languages