 The literature on non-standard analysis is very rich. See Dauben (1995) for a biography of Robinson with special emphasis on non-standard analysis. See also Goldblatt (1998) for a recent formal introduction and Cutland, di Nasso, and Ross (2006) for recent mathematical developments. The reader is referred to the extensive bibliographies contained in those volumes for further references.