Thomas Miller: 1807-1874. A list of his works, and books about him, in the local