Applied non-standard analysis: M. Davis, Wiley, 1977, 181 pp.