1. Lecture Notes in Computer Science;J. Berstel,2002
2. Chen, H., Dong, Y.: Definition forms of recursive functions defined on contextfree languages (In Chinese) Technical Report ISCAS-LCS-99-15, Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences (1999)
3. Chen, H.: Statically typed XML processing by the LFC language. In: Sixth International Conference on Information Technology (CIT 2003), Bhubaneswar, India, pp. 177–182 (2003)
4. Chen, H.: Practical operators for a kind of recursive functions, Technical Report ISCAS-LCS-04-11, Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences (2004)
5. Chen, H.: Evaluation algorithms of a new kind of recursive functions. Journal of Software 15(9), 1277–1291 (2004) (in Chinese)