Defining syntax-directed translations by tree bimorphisms
scientific article; zbMATH DE number 5603650