Klarlund, N. “Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata”. DAIMI Report Series, vol. 21, no. 430, Dec. 1992, doi:10.7146/dpb.v21i430.7953.