Patricia Helen Stickler (1932-1995)