Brian E. Aydemir Arthur Charguéraud Benjamin C. Pierce Randy Pollack Stephanie Weirich Engineering formal metatheory. 3-15 2008 conf/popl/2008 POPL http://doi.acm.org/10.1145/1328438.1328443 db/conf/popl/popl2008.html#AydemirCPPW08