Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken. The Semantics of Reflected Proof. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 95-105, IEEE Computer Society, 1990.