The language of machines an introduction to computability and formal languages - Floyd, Robert W. 1936-2001; Beigel, Richard (Computer Science Press, 1994)