Obituary: Pamela Heydon, 80