000			00403nam a2200145Ia 4500
005			20260205054241.0
008			260111s9999||||xx |||||||||||||| ||und||
082			_a005.1 B127P
100			_aBackhouse, Roland.
245		0	_aProgram construction : calculating implementations from specifications.
260			_aN D _bWiley _c2004
300			_a332p.
690			_aComputer programming.
942			_cBK
999			_c135417 _d135417