Symposium on infinite dimensional topology. (Princeton University Press, 1972)