@inproceedings{hobor09:knot,
  author={Aquinas Hobor and Robert Dockins and Andrew W. Appel},
  title={A Theory of Indirection via Approximation},
  booktitle={37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2010)},
  pages={{to appear}},
  url="http://msl.cs.princeton.edu/indirection.pdf",
  year=2010
}