@TechReport{ColcombetLoding06,
  author =       {Thomas Colcombet and Christof L{\"o}ding},
  title =        {Transforming structures by set interpretations},
  institution =  {RWTH Aachen},
  year =         {2006},
  number =       {AIB-2006-07},
  month =        may,
  url =          {http://aib.informatik.rwth-aachen.de/2006/2006-07.ps.gz}
}