Sad to read that Tom Lehrer has died.
In case you're not aware he released his musical works into the public domain a couple of years back. You can get them (lyrics, recordings, sheet music) here:
https://tomlehrersongs.com/
On a related note I adored his response to one of his 60 yr old songs being sampled by 2 Chainz:
"As sole copyright owner of 'The Old Dope Peddler', I grant you motherfuckers permission to do this. Please give my regards to Mr. Chainz, or may I call him 2?"
Songs and Lyrics by Tom Lehrer
Songs and Lyrics by Tom Lehrer DISCLAIMER STATEMENTI, Tom Lehrer, individually and as trustee of theTom Lehrer Songs