@article{BrandLDATA2005,
  author    = {Mark van den Brand and Bas Cornelissen and Pieter Olivier and Jurgen Vinju},
  title     = {TIDE: A Generic Debugging Framework - Tool Demonstration},
  journal   = {Electronic Notes in Theoretical Computer Science},
  volume    = {141},
  number    = {4},
  year      = {2005},
  pages     = {161--165},
}