Iteratives Rechnen, rekursives Definieren, induktives Beweisen - Cohors-Fresenborg, Elmar 1945- (Osnabrücker Schriften zur Mathematik, 1979)