I believe it was a Digitech Talker (which apparently uses a pitch-correcting algorithm, and would be some sort of crossover between a vocoder and a pitch-corrector?), triggered by a MIDI keyboard. It's to be read in an article which is linked in a thread around here. So, yeah, search.