The Continuum A Constructive Approach to Basic Concepts of Real Analysis - Taschner, Rudolf (Vieweg+Teubner Verlag, 2005)