@techreport{feng05tr:sbca,
 author      = "Xinyu Feng and Zhong Shao and Alexander Vaynberg and Sen Xiang and Zhaozhong Ni",
 title       = "Modular Verification of Assembly Code with Stack-Based Control Abstractions",
 number      = "YALEU/DCS/TR-1336",
 institution = "Dept. of Computer Science, Yale University",
 address     = "New Haven, CT",
 month       = "November",
 year        = "2005",
 url         = "\url{http://flint.cs.yale.edu/publications/sbca.html}",
 note        = "\url{http://flint.cs.yale.edu/publications/sbca.html}",
}