王兵山,肖计田,黄晓秋.线性语言和顺序语言关于置换的判定问题[J].国防科技大学学报,1983,(4):83-87.
Wang Bingshan, Xiao Jitian, Huang Xiaoqiu. Some Decisoin Problems in a Linear Languages and Sequential Languages for a Substitution[J]. Journal of National University of Defense Technology,1983,(4):83-87.