A bibliography of Dr. Robert Hooke