Non-standard analysis - Robinson, Abraham 1918-1974 (Princeton Univ. Pr., 1996)