Characterizations of recursively enumerable languages by means of insertion grammars | Publicación