Pamela June Davies (1923-2012)