TOPO 72 - general topology and its applications: Second Pittsburgh International Conference, December 18-22, 1972 (Lecture notes in mathematics, 378)