Martin Bravenboer Yannis Smaragdakis Strictly declarative specification of sophisticated points-to analyses. 243-262 2009 OOPSLA http://doi.acm.org/10.1145/1640089.1640108 conf/oopsla/2009 db/conf/oopsla/oopsla2009.html#BravenboerS09