1. W. Aitken. Metaprogramming in Nuprl Using Reflection. PhD thesis, Computer Science Department, Cornell University, Ithaca, NY, 1994.
2. William Aitken, Robert Constable, and Judith Underwood. Metalogical frameworks II: Using reflected decision procedures. unpublished manuscript.
3. D. Basin and R. Constable. Metalogical frameworks. In G. Huet and G. Plotkin, editors, Logical Environments, chapter 1, pages 1–29. Cambridge University Press, Great Britain, 1993.
4. R. L. Constable et al. Implementing Mathematics with the Nuprl Development System. Prentice-Hall, NJ, 1986.
5. R. L. Constable and D. J. Howe. Implementing metamathematics as an approach to automatic theorem proving. In R.B. Banerji, editor, Formal Techniques in Artificial Intelligence: A Source Book, pages 45–76. Elsevier Science Publishers (North-Holland), 1990.