No. 430 (1992): PB-430 Progress measures, immediate determinacy, and a subset construction for tree automata