Back, R., Grundy, J., and von Wright, J. 1996. The presentation and dissemination of proof. Unpublished Manuscript. Åbo Akademi University, Department of Computer Science. Lemminkäisenkatu 14A, 20520 Turku, Finland.
Dahn, B.I. and Wolf, A. 1994. A calculus supporting structured proofs. Journal of Information Processing and Cybernetics, 30(5-6):261-276.
Gentzen, G. 1935. Untersuchungen über das logische Schliessen [Investigations into logical deduction]. Mathematische Zeitschrift 39:176-210,405-431. Translated in Szabo (1969). pp. 68-131.
Grundy, J. to appear. Transformational hierarchical reasoning. The Computer Journal.
Gries, D. and Schneider, F.B. 1993. A Logical Approach to Discrete Math, chapters 3-4, pp. 41-81. Texts and Monographs in Computer Science. Springer-Verlag, New York.
Lamport, L. 1995. How to write a proof. The American Mathematical Monthly, 102(7):600-608.
Marciszewski, W. 1996. On this journal - as a new vehicle for learned communication! Mathesis Universalis, 1(1-0).
Robinson, P.J. and Staples, J. 1993. Formalizing a hierarchical structure of practical mathematical reasoning. Journal of Logic and Computation, 3(1):47-61.
Rudnicki, P. and Trybulec, A. 1996. A note on "How to write a proof". Technical Report 96-08, Department of Computing Science, University of Alberta, Edmonton, Alberta T6G 2H1, Canada.
Szabo, M.E. (editor) 1969. The Collected Papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam.
