Non-standard analysis - Robinson, Abraham, 1918-1974 (Princeton landmarks in mathematics and physics, 1996)