Constructive continuity / - Mandelkern, Mark (American Mathematical Society, 1983)