notes and references on induction
notes and references on induction