@InProceedings{pale,
  author =       {Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {The Pointer Assertion Logic Engine},
  booktitle =    {Proc. ACM SIGPLAN Conference on Programming Language 
                  Design and Implementation, PLDI~'01},
  year =         {2001},
  month =        {June},
  note =         {Also in SIGPLAN Notices 36(5) (May 2001)},
}