@InProceedings{walker+03theory,
  author = "David Walker and Steve Zdancewic and Jay Ligatti",
  title = "A Theory of Aspects",
  booktitle = "{ACM} International Conference on Functional Programming",
  year = 2003,
  month = aug,
  address = "Uppsala",
  url = {http://www.cs.princeton.edu/~jligatti/papers/theory_of_aspects.pdf}
}