Foundations of constructive analysis - BISHOP, Erret (1967)