Functionally complete algebras in congruence distributive varieties - Rosenberg Ivo G. (1981)