Top-down tree transducers with deterministic top-down look-ahead
scientific article; zbMATH DE number 4121454