@Article{toplas2012,
  author = 	 {Eric Bodden and Patrick Lam and Laurie Hendren},
  title = 	 {Partially evaluating finite-state runtime monitors ahead of time},
  journal = 	 {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  year = 	 2012,
  month = jun,
  volume = {34},
  number = {2},
  pages = {7:1--7:52},
  articleno = {7},
  numpages = {52},
  doi = {10.1145/2220365.2220366},
  url = {https://www.bodden.de/pubs/blh12partially.pdf},  
	annote = {an VGWort gemeldet},
}