@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" }