Implizite und explizite Induktionsbeweisverfahren - Gerberding, Stefan (Infix, 1997)
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1997