Typechecking top-down XML transformations: Fixed input or output schemas
scientific article; zbMATH DE number 5312287