Patrick O'Neil Meredith Dongyun Jin Feng Chen Grigore Rosu Efficient Monitoring of Parametric Context-Free Patterns. 148-157 2008 ASE http://dx.doi.org/10.1109/ASE.2008.25 conf/kbse/2008 db/conf/kbse/ase2008.html#MeredithJCR08