@Unpublished{Hutter:MC03,
  author =       "Dieter Hutter",
  title =        "A Management of Change",
  note =         "Schlo{\ss} Dagstuhl Seminar 3451 Applied Deductive Verification, http://www.dagstuhl.de/",
  month =        nov,
  year =         "2003",
}