M. Pouzet and N. Sauer, “From Well-Quasi-Ordered Sets to Better-Quasi-Ordered Sets”, Electron. J. Combin., vol. 13, no. 1, p. R101, Nov. 2006.