AUTOMATA AND COMPUTABILITY - KOZEN (SPRINGER, 1997)