On inverse deterministic pushdown transductions
scientific article; zbMATH DE number 3586504