中国科学院数学与系统科学研究院期刊网
Prodinger问题与正则语言的Schreier方法
郭聿琦;王水汀;李廉
Acta Mathematica Sinica, Chinese Series . 1983, (3): 332 -340 .  DOI: 10.12386/A1983sxxb0037