Theory of computation - Wood, Derick (Harper & Row, 1987)