题名	责任者	出版社	索书号
程序设计语言的形式语义:an introduction	Glynn Winskel著	机械工业出版社	TP301.2/5460
形式语言与自动机导论	(美) Peter Linz著	机械工业出版社	TP301.2/7410