See this page for an ABC, dots and MIDI for the tune "Stick a Pin There", from the Thompson source cited above:
http://abcnotation.com/tunePage?a=trillian.mit.edu/~jc/music/book/Thompson/Stick_a_Pin_there/0000
The MIDI link did not play in my browser, but the file could still be downloaded and played. You can also generate a MIDI from the ABC, using a tool like the ABC converter at Concertina.net.