J. Engelfriet, “Top-down tree transducers with regular look-ahead”, DPB, vol. 4, no. 49, Jul. 1975.