Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian. Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. In Jon Whittle, Tony Clark, Thomas Kühne, editors, Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Volume 6981 of Lecture Notes in Computer Science, pages 653-667, Springer, 2011. [doi]