Design of flexible static program analyzers with PQL - Jarzabek, S. (2014)
10.1109/32.667879