@TechReport{Lefering94,
  author =    "Martin Lefering",
  title =     "Development of {I}ncremental {I}ntegration {T}ools {U}sing {F}ormal {S}pecifications",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-02-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-02.ps.gz",
}