Dino Pedreschi Salvatore Ruggieri Verification of Meta-Interpreters. 267-303 1997 7 J. Log. Comput. 2 db/journals/logcom/logcom7.html#PedreschiR97