@article {DBLP:journals/logcom/PedreschiR97, title = {Verification of Meta-Interpreters}, journal = {J. Log. Comput.}, volume = {7}, number = {2}, year = {1997}, pages = {267-303}, author = {Dino Pedreschi and Salvatore Ruggieri} }