1 BLIKLE，通过计算集证明程序。 《计算机科学数学教育基础》，计算机科学讲义28，A.Bhkle，Ed.，Springer-Verlag，Berlin，1975年。 333-358 谷歌学者 
2 CULIK，K.II和SALOMAA，A.关于语言J.Compute同态等式的可判定性。 系统。 科学。 17 (1978), 163-175 谷歌学者 三 DE BAKKER，J.W SemanUcs使用广义树的模糊过程《1977年计算机科学数学基础》，计算机科学讲义53，J.Gruska，Ed.，Spnnger-Ve Berlin，1977年，第240-246页 谷歌学者 4 DE ROEVER，W.P.关于回溯和最大固定点。 《计算机科学自动化、语言和程序讲义》52，A.Salomaa和m.Steinby，Eds.，Spnnger-Verlag，Bc 1977，第412-429页。 谷歌学者 5 ENGELFRIET，J.和ROZENBERG，G.Equahty语言和定点语言Inf.Conm（1979），20-49。 谷歌学者 6 ENGELFRIET，J.和ROZENBERG，G.定点语言、等式语言和递归可枚举语言的~表示。 J.ACM 27，3（1980年7月），499-518 谷歌学者 7 GINSBURG，S.形式语言的代数和自动机理论性质。 阿姆斯特丹北霍尔，1975年。 谷歌学者 8 HOPCROFT，J.E.和ULLMAN，J.D.形式语言及其与自动机的关系。 Add1韦斯利，雷德姆，马萨诸塞州，1969年。 谷歌学者 9 MAZURKIEWICZ，A.《证明工艺特性》，技术代表134，波兰科学院计算中心，华沙，1973年。 谷歌学者 10 罗杰斯，H JR，《递归理论，函数与效率计算》，第页。 McGraw-Hall，新1967。 谷歌学者 11 SALOMAA，A.形式语言。 学术出版社，纽约，1973年。 谷歌学者 12 SALOMAA，A.自由单子体Acta Cybern同态的等式集。 4（1978），127-14 谷歌学者 13 高桥H.自动机系统的最大mvanant集。 信息控制32（1！307-354。 谷歌学者 14 ULLIAN，J S.关于主AFL的J计算的三个定理。 系统科学。 5 (1971), 304-3 谷歌学者
建议
递归可枚举语言的特征 Geffert已经证明了搜索递归枚举语言 L（左） 结束 ∑ 可以表示为 L（左） { 小时（x） 1 克（x） x个 在里面 Δ + } ∑ * 哪里 Δ 是一个字母和 g、 小时 是一对形态。 我们的目的是为……提供一个简单的证明。。。
