@techreport{feng06:ocaptr,
 author      = "Xinyu Feng and Zhaozhong Ni and Zhong Shao and Yu Guo",
 title       = "An Open Framework for Foundational Proof-Carrying Code",
 institution = "Dept. of Computer Science, Yale University",
 address     = "New Haven, CT",
 number      = "YALEU/DCS/TR-1373 (with Coq Implementation)",
 month       = "November", 
 year        = "2006"
}