"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs."

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics