Theory of computation - Wood, Derick (New York John wiley, 1987)