Books Authored by Henry R. Lehrer