Mark Tompkins: books, biography and more