题名	责任者	出版社	索书号
程序设计语言的形式语义	温斯克尔(Glynn Winskel)著	机械工业出版社	TP301.2/344
形式语言与自动机理论	吴哲辉, 吴振寰编著	机械工业出版社	TP301.2/659