Xinyu Feng Zhaozhong Ni Zhong Shao Yu Guo An open framework for foundational proof-carrying code. 67-78 2007 conf/tldi/2007 TLDI http://doi.acm.org/10.1145/1190315.1190325 db/conf/tldi/tldi2007.html#FengNSG07