David John Mason: books, biography and more