Author: Victoria Symposium on Nonstandard Analysis (1st 1972)