编写的讲义
 
1、ATEF 与 CETA （有限状态文句分析及树形图的控制与转换），上机手册。
2、TRANSF 与 SYGMOR （词汇转换与形态生成系统），上机手册。
3、ARIANE-78 人机联作系统，上机手册。
4、法国自动翻译 ARIANE-78 系统的数学原理，软件技术资料。
5、语言学中的离散数学方法，北京大学讲义。
6、论语言的数学面貌，技术资料。
7、现代语言学讲义（上、下册），中国科技情报所研究生教材。
8、国外机器翻译研究概况，中国科技情报所机译训练班教材。
9、数理语言学讲稿，中国科技情报所机译训练班教材。
10、机器翻译导论，中国科技情报所研究生教材。