Well-Quasi Orders in Computation, Logic, Language and Reasoning - Peter M. Schuster, Monika Seisenberger, Andreas Weiermann (Springer, 2020)