Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory - Schuster, Peter M.; Seisenberger, Monika; Weiermann, Andreas (Springer International Publishing, 2020)