@techreport{ellison-rosu-2010-tr,
    author = "Ellison, Chucky and Ro\c{s}u, Grigore",
    month = "November",
    year = "2010",
    number = "http://hdl.handle.net/2142/17414",
    institution = "University of Illinois",
    title = "A Formal Semantics of {C} with Applications"
}