Bor-Yuh Evan Chang Adam J. Chlipala George C. Necula Robert R. Schneck The open verifier framework for foundational verifiers. 1-12 2005 conf/tldi/2005 TLDI http://doi.acm.org/10.1145/1040294.1040295 db/conf/tldi/tldi2005.html#ChangCNS05