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