Transformations of specifications and proofs to support an evolutionary formal software development - Schairer, Axel (Verfasser) (Universität des Saarlandes, Saarbrücken, 2006)