A Pitch Correction Method Using Pen Gestures for A Voice-to-MIDI Pitch Input Method