A Formal Semantics of C with Applications (2010) [pdf]fsl.cs.illinois.edu1 pointmadflame99111 years ago