Elements of the theory of computation. - Lewis, Harry; Papadimitriou, Christos (New Jersey : Prentice-Hall, 1998)