A note on a parameterized version of the well founded induction principle - Gramlich, Bernhard (Universität <Kaiserslautern>, 1995)