中图分类法:	TP31-532 版次：
题名:	Recent trends in algebraic development techniques : [ 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers /] / ,
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： c2001.
载体形态:	x, 343 p. : ill. ; 24 cm.
主题词:	Computer software Development
主题词:	Computer science Mathematics
主题词:	Abstract data types (Computer science)
主要责任者:	Cerioli, Maura.
主要责任者:	Reggio, Gianna,