Mana Taghdiri Robert Seater Daniel Jackson Lightweight extraction of syntactic specifications. 276-286 2006 conf/sigsoft/2006 SIGSOFT FSE http://doi.acm.org/10.1145/1181775.1181809 db/conf/sigsoft/fse2006.html#TaghdiriSJ06