On the imbedding of extremally disconnected spaces into bicompacta Efimov, B. A. — 1972 General Topology and its Relations to Modern Analysis and Algebra