@Article{WZLjournal,
  author = 	 {Jay Ligatti and David Walker and Steve Zdancewic},
  title = 	 {A Type-theoretic Interpretation of Pointcuts and Advice},
  journal =      {Science of Computer Programming: Special Issue on Foundations of Aspect-Oriented Programming},
  month =        dec,
  year =         {2006},
  volume =       {63},
  number =       {3},
  pages =        {240-266},
  publisher =    {Elsevier},
  url =          {http://dx.doi.org/10.1016/j.scico.2006.01.004}
}