Pierre Gassendi: 1592 - 1655; an intellectual biography - Jones, Howard (Bibliotheca humanistica & reformatorica, 1981)