Introduction to computer theory - Daniel I. A. Cohen (New York, NY : Wiley, 1997)