http://ismir2012.ismir.net/event/papers/lbd2.pdf
http://chordify.net/pages/official-launch-of-chordify/
______________
The reason i picked up the book: I was thinking whether it was possible to annotate just intonation from equal temperament, but I think that's a limitation of MIDI that it can't do that. Also, eagerly awaiting §11.4, "Soundness and Completeness of Music Algebras".