К проблеме сходимости метода редукции для бесконечных систем линейных уравнений Jurij Ivanovich Gribanov (1963) Commentationes Mathematicae Universitatis Carolinae Similarity:
Об эквивалентности τ m -грамматик и S b ( n ) -грамматик Viktor Alad'ev (1974) Commentationes Mathematicae Universitatis Carolinae Similarity: