Internality, transfer, and infinitesimal modeling of infinite processes | OUP Journals & Magazine | IEEE Xplore