Well-Quasi Orders in Computation, Logic, Language and Reasoning by Monika Seisenberger, Andreas Weiermann, Peter M. Schuster | Lex | Lex