Lewis J. Eisenhart: books, biography and more