@InProceedings{BRICS-EP-00-SME_CTDC,
  author =       {Jacob Elgaard and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {Compile-Time Debugging of {C} Programs Working on Trees},
  booktitle =    {Proc. Programming Languages and Systems,
                  9th European Symposium on Programming, ESOP~'00},
  year =         {2000},
  month =        {March/April},
  volume =       {1782},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
  pages =        {182--194},
}