Foundations of infinitesimal calculus / H. Jerome Keisler. Boston, Mass. : Prindle, Weber & Schmidt, 1976