题名	责任者	出版社	索书号
程序设计语言的形式语义	温斯克尔(Glynn Winskel)著	机械工业出版社	TP301.2/344
精通正则表达式-2版	(美)弗里德尔(Jeffrey E.F.Friedl)著	东南大学出版社	TP301.2/562