General topology and its relations to modern analysis and algebra IV : proceedings - Novak, Joseff; Novak, Joseff (Springer, 1977)