The Language of Machines: an Introduction to Computability and Formal Languages. Robert Floyd and Richard Beigel