Towards an Evolutionary Formal Software-Development Using CASL<pre>@inproceedings{AHMS-00-a,
  author        = {Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer},
  editor        = {C. Choppy and D. Bert},
  booktitle     = {Proceedings Workshop on Algebraic Development Techniques (WADT-99)},
  title         = {Towards an Evolutionary Formal Software-Development Using CASL},
  volume        = {1827},
  series        = {LNCS},
  publisher     = {Springer},
  month         = {april},
  year          = {2000},
}
</pre>