I must have been composing as Mary was posting. Yes, Mary's description is what often happens. High end software like Finale gives you the ability to turn a performance into a score automatically and still have the notes and measures come out the way you'd like. Finale is expensive, though, and takes a lot of time and work to learn.

I think the ABCMidi utilities that come with ABC+ can do a pretty good job as well but you have to learn to use all the available command line parameters to control the conversion from MIDI to ABC.

      - Mark