John Kodumal Alexander Aiken Banshee: A Scalable Constraint-Based Analysis Toolkit. 218-234 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_16 db/conf/sas/sas2005.html#KodumalA05