Constructive functional analysis. - Bridges D S (1979)