General topology and its relations to modern analysis and algebra IV: Proceedings of the Fourth Prague Topological Symposium, 1976 (Lecture notes in mathematics ; 609-)