@MastersThesis{Cornelissen2005,
  author = {Bas Cornelissen},
  title  = {Using {TIDE} to Debug {ASF+SDF} on Multiple Levels},
  school = {University of Amsterdam},
  year   = {2005},
}