Stuart F. Allen Robert L. Constable Douglas J. Howe William E. Aitken The Semantics of Reflected Proof conf/lics/LICS5 1990 LICS 95-105 db/conf/lics/lics90.html#AllenCHA90