@InProceedings{	  autexier.hutter.ea:towards,
  author	= {Serge Autexier and Dieter Hutter and Heiko Mantel and Axel
		  Schairer},
  title		= {Towards an Evolutionary Formal Software-Development Using
		  CASL},
  booktitle	= {Recent Trends in Algebraic Development Techniques, 14th
		  International Workshop, WADT'99, Chateau de Bonas, France,
		  September 15-18, 1999, Selected Papers},
  year		= 1999
}