@InProceedings{LamKuncakRinard05ScopesDefaults,
  author =       {Patrick Lam and Viktor Kuncak and Martin Rinard},
  title =        {Cross-cutting Techniques in Program Specification and Analysis},
  booktitle =    {Proceedings of the 4th International Conference on Aspect-Oriented Software Development},
  pages =        {169--180},
  year =         {2005}
}