Theory of Computation: Principls and Practice - Greenlaw(Raymond)Hoover(H.jones) (ELSEVIER)