The language of machines : an introduction to computability and formal languages - Floyd, Robert W. (Computer Science Press, 1994)