On the definitions of computable real continuous functions