1. AÏt-Kaci, H., Warren's Abstract Machine: A Tutorial Reconstruction, The MIT Press, Cambridge, 1991.
2. Attardi, G., and Simi, M., Metalanguage and Reasoning Across Viewpoints, in: Proc. of the 6th ECAI, Pisa, Italy, 1984.
3. Bowen, K.A., and Kowalski, R.A., Amalgamating Language and Metalanguage in Logic Programming, in: Logic Programming, Clark, K., and Tarnlund, S.-A. (eds.), Academic Press, London, 1982, pp. 153–173.
4. Bowen, K.A., and Weinberg, W., A Meta-Level Extension of Prolog, in: Proc. of the 1985 Symp. on Logic Programming, IEEE Computer Society Press, 1985, pp. 48–53.
5. Bowen, K.A., A Meta-Level Programming and Knowledge Representation, New Generation Computing 3:359–383, 1985.