@article{BJKO2000,
  author  = {Brand, {M.G.J. van den} and Jong, H.A. de and Klint, P.
            and Olivier, P.A.},
  title   = {{E}fficient {A}nnotated {T}erms},
  year    = {2000},
  journal = {{S}oftware -- {P}ractice \& {E}xperience},
  volume  = {30},
  pages   = {259-291}
}