Insertion-deletion systems with substitutions. I
scientific article; zbMATH DE number 7633524