Forster. Better-quasi-orderings and Coinduction. no. 1-3, Elsevier BV, 2003, doi:10.1016/s0304-3975(03)00131-2.