Foundations of infinitesimal calculus - Keisler, H. Jerome 1936- (Prindle, Weber & Schmidt, 1977)