Introduction to computer theory - Cohen Daniel I. A. (Wiley, J., 1997)