Earl, et al.. Introspective Pushdown Analysis of Higher-order Programs. 7 July 2012.