1. Aiello, L, and Weyhrauch, R., Using meta-theoretic reasoning to do algebra, Proceedings of the 5-th Workshop on Automated Deduction, Springer-Verlag, Lecture Notes in Computer Science, 1980.
2. Bowen, K.A., and Kowalski, R., Amalgamating Language and Metalanguage in Logic Programming, School of Computer and Information Science, Syracuse University, June 1981.
3. Boyer, R.S. and Moore, J.S., Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures, SRI International Technical Report CSL-108, December 1979.
4. Church, A., Introduction to mathematical logic, vol 1, Princeton University Press, Princeton, 1956.
5. Gordon, M.J., Milner, A.J., and Wadsworth, C.P., Edinburgh LCF: A Mechanized Logic of Computation, Springer-Verlag, Lecture Notes in Computer Science 78.