D.  Pedreschi and Ruggieri, S., ?Verification of Meta-Interpreters?, J. Log. Comput., vol. 7, pp. 267-303, 1997.