Dieter Hutter Axel Schairer Towards an Evolutionary Formal Software Development. 417-420 2001 conf/kbse/2001 ASE http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260417abs.htm db/conf/kbse/ase2001.html#HutterS01