2 works on record
Logic, Construction, Computation
Well-Quasi Orders in Computation, Logic, Language and Reasoning