%0 Journal Article %J J. Log. Comput. %D 1997 %T Verification of Meta-Interpreters %A Dino Pedreschi %A Salvatore Ruggieri %B J. Log. Comput. %V 7 %P 267-303 %G eng