Author: Refinement Workshop (3rd 1990 IBM UK Laboratories)