Matthew Jacobs, E. Christopher Lewis: SMART C: A Semantic Macro Replacement Translator for C. SCAM 2006: 95-106