Constructive functional analysis - Bridges D S (London Pitman, 1979)
Keywords: Calculus; Functional analysis