Author: Symposium on Non-standard Analysis (1970 Oberwolfach, Germany)