000			00468nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9781447132738
100			_aCarroll Morgan, Trevor Vickers
245		0	_aOn the Refinement Calculus
250			_a1992
260			_bSpringer London _c1992
440			_aFormal Approaches to Computing and Information Technology (FACIT)
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-1-4471-3273-8
999			_c7007 _d7007