Gilman, Dorothy, 1923-2012