Towards an efficient management of change in an evolutionary formal software development<pre>@unpublished{AuHu-00-a,
  author        = {Autexier, Serge and Hutter, Dieter},
  title         = {Towards an efficient management of change in an evolutionary formal software development},
  publisher     = {Universit\"at Kiel},
  year          = {2000},
}
</pre>