Mario Davidovsky, Composer Who Made Electronics Sing, Dies at 85 — obituary in the New York Times