@article{Liu&98a,
  author = "Yanhong A. Liu and Scott D. Stoller and Tim Teitelbaum",
  title = "Static Caching for Incremental Computation",
  journal = TOPLAS,
  volume=20,
  number=3,
  year = 1998,
  month=may,
  pages="546-585"
  }