ISIlC logic confrence Proceedings of the international summer institute and logic colloquium keil 1974. - Dold A; Eckmann B (New York Springer-Verlag, 1975)