@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}
}
