Restarting Automata: The Standard Type of Restarting Automaton and Its Variants - Friedrich Otto (Springer Nature, 2024)