Visibly pushdown transducers
scientific article; zbMATH DE number 6934103
scientific article