Abstraction of Syntax - D'Silva, V; Kroening, D (Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation, 2013)