The formal power of one-visit attribute grammars
one-pass left-to-right attribute grammars
deterministic top-down tree transduction
scientific article; zbMATH DE number 3738931