Can someone please point to research papers that analyze different ways of expressing informal proofs from an educational point of view? I am particularly interested in proofs by induction but I would like to read about different ways of expressing logical inferences in a way that students understand them better.
For example, a commonly used one is the calculational style. Are there any others? How do they compare to this one?