The language of machines an introduction to computability and formal languages - Floyd, Robert W. (New York Computer science Press, 1993)
Keywords: Computable functions; Formal languages; Machine theory