Thomas Glaß, Michael Rathjen, Andreas Schlüter: On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. Ann. Pure Appl. Log. 85(1): 1-46 (1997)