She was great.
So was Stan.
I've heard the name Antonio Carlos Jobim a lot lately, mostly on Serenade Radio, a British online station which mostly plays standards. I first heard of him when his was the last song someone from WAVO was nice enough to tell me about shortly before that station changed format.
And if a song sounds like "Girl from Ipanema", chances are he wrote it.