@articleBodden_Lam_Hendren_2012, title=Partially Evaluating Finite-State Runtime Monitors Ahead of Time, volume=34, DOI=10.1145/2220365.2220366, number=2, journal=ACM Transactions on Programming Languages and Systems, publisher=Association for Computing Machinery (ACM), author=Bodden, Eric and Lam, Patrick and Hendren, Laurie, year=2012, pages=1–52 
LibreCat: /record/5183
DOI: 10.1145/2220365.2220366