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