Theory of Computation - Wood Derick (New York John Wiley & Sons, 1987)