(1983). Structuring Mathematical Proofs. The American Mathematical Monthly: Vol. 90, No. 3, pp. 174-185.
No takes yet. Share an insight, caveat, or question.
Uri Leron (1983) studied this question.