Key points are not available for this paper at this time.
(1983). Structuring Mathematical Proofs. The American Mathematical Monthly: Vol. 90, No. 3, pp. 174-185.
Uri Leron (Tue,) studied this question.