Theory of computation - Wood, Derick (Wiley, 1987)