中图分类法:	TP301.6 版次：
题名:	Algebraic and coalgebraic methods in the mathematics of program construction : [ international summer school and workshop Oxford, UK, April 2000, revised lectures /] / ,
出版发行:	出版地： New York : 出版社： Springer, 出版日期： 2002.
载体形态:	xiv, 385 : ill. ; 24 cm.
主题词:	Computer programming
主题词:	Computer science Mathematics
主题词:	Algebra
主要责任者:	Backhouse, Roland C.,
主要责任者:	Crole, Roy L.
主要责任者:	Gibbons, Jeremy,