Lilypond and Rosegarden are the 2 main linux apps. I've never used them so I can't comment. Himself ought to be able to do a search on apt or synaptic to find out. Try the term 'music'.