@article{ZPG+05,
  author  = "Lenore Zuck and Amir Pnueli and Benjamin Goldberg and Clark Barrett and Yi Fang and Ying Hu",
  title   = "Translation and Run-Time Validation of Loop Transformations",
  journal = "Formal Methods in System Design (FMSD)",
  volume  = 27,
  number  = 3,
  pages   = "335--360",
  month   = nov,
  year    = 2005,
  issn    = "0925-9856",
  doi     = "10.1007/s10703-005-3402-z"
}