MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)

Mechanized Metatheory for the Masses: The PoplMark Challenge. - Brian E. Aydemir; Aaron Bohannon; Matthew Fairbairn; J. Nathan Foster; Benjamin C. Pierce; Peter Sewell; Dimitrios Vytiniotis; Geoffrey Washburn; Stephanie Weirich; Steve Zdancewic (TPHOLs, 2005)

Nominal Reasoning Techniques in Coq: (Extended Abstract). - Brian E. Aydemir; Aaron Bohannon; Stephanie Weirich (LFMTP@FLoC, 2006)

Engineering formal metatheory. - Brian E. Aydemir; Arthur Charguéraud; Benjamin C. Pierce; Randy Pollack; Stephanie Weirich (POPL, 2008)