Functional characterization of absolute and Dedekind completion - Zaharov, Valerij (1981)