000			00530nam a2200145Ia 4500
008			211224s9999 xx 000 0 und d
020			_a9783540436133
082			_a005 BAC
100			_aBackhouse, Roland C
245		0	_aAlgebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
260			_aNew York: _bSpringer, _c2002
300			_axiv, 385 p. : ill. ; 24 cm
650			_aComputer science
700			_aCrole, Roy L
999			_c14405 _d14405