Constructive functional analysis - Bridges, D. S. (Pitman, 1979)