There is a boxed set of Tom Lehrer's songs available , with a booklet with all the lyrics - Warner Archives Reprise R2 79831 .
I also have both the original hardbacks and the paperbabck - If any one wants info , just ask me !