INTRODUCTION TO COMPUTER THEORY - COHEN, DANIEL I A (NEWYORK JOHN WILEY & SONS, 1990)