Abraham Robinson : the creation of nonstandard analysis : a personal and mathematical odyssey - Dauben, Joseph Warren (Princeton University Press, 1995)