Gwendolene Erica Mason (1922-2006)