INTRODUCTION TO COMPUTER THEORY - COHEN DANIEL I A (New York John Wiley, 2004)