题名	责任者	出版社	索书号
程序设计语言的形式语义	( )Glynn Winskel著	机械工业出版社	TP311.2/6
数据结构题集:C语言版	严蔚敏, 吴伟民编著	清华大学出版社	TP311.2/5