III Aeronautics, Yale University Press, ISBN 978-0-300-02073-1, MR 0533889 Robinson, Abraham (1996) [1966], Non-standard analysis, Princeton Landmarks in Mathematics (2nd ed.), Princeton University Press, ISBN 978-0-691-04490-3, MR 0205854