Constructive theory of functions of several variables - Schempp, W (Lecture Notes in Mathematics, No.0571, 1977)