Theory of computation - Derick Wood (John Wiley and Sons)