Refinement Workshop. (3rd 1990 IBM UK Laboratories)