Kompaktní obaly topologických prostorů - Studnička, Ivan, 1939- (1963)