Refinement Workshop  proceedings of the 3rd refinement workshop 9-11 January 1990, Hursley Park 
organised by BCS-FACS and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford 
 - London  Springer-Verlag  1991 
 - 197 p. ; 24 cm. 
<br/><br/><label>ISBN: </label>3540196242 
<br/><br/><label>LCCN: </label>90-022992 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses